History of tag 00MQ
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2010-07-30 |
0d3f587 |
Flattening stratifications
Lots of changes. Up to and including the existence of the closed
stratum of the flattening stratification for a finite type
scheme over a complete local Noetherian ring.
|
|
changed the statement and the proof
|
2010-02-01 |
6ff9541 |
Algebra: Improve lemma on base change flatness
The improvement is that it handles modules now too.
|
|
changed the statement
|
2010-01-31 |
81fadc4 |
Algebra: Local criterion for flatness, fp case
Another result which did not yet have a "finitely presented"
version yet.
|
|
changed the statement and the proof
|
2009-09-12 |
3c50b13 |
Algebra: Added a missing lemma on descend flatness, and simplified proof
of another lemma
modified: algebra.tex
|
|
assigned tag 00MQ
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
|
changed the proof
|
2009-01-15 |
c6f78e9 |
Finished Critere de platitude par fibres
modified: algebra.tex
|
|
created statement with label lemma-base-change-flat-up-down in algebra.tex
|
2009-01-15 |
45e764e |
Trying to add ``critere de platitude par fibres''
modified: algebra.tex
|