History of tag 00HO
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2017-02-17 |
4b29499 |
Fix missing N'
Thanks to Frederico Scavia
http://stacks.math.columbia.edu/tag/00HO#comment-2340
|
changed the proof
|
2013-12-22 |
19733a9 |
LaTeX
Added a new macro
\def\Im{\text{Im}}
and replaced all occurrences of \text{Im} by \Im
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
changed the statement
|
2012-07-25 |
c0fded1 |
A generalization of going down for flat
The support of a finite module flat over the base satisfies
going down. Sometimes useful.
|
changed the proof
|
2010-09-09 |
c2be6db |
Code changes only
Changes to algebra,tex which have no effect on the produced pdf
files.
|
changed the statement and 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.
|
assigned tag 00HO
|
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 statement and the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
created statement with label lemma-easy-ff in algebra.tex
|
2008-06-08 |
448e285 |
modified: algebra.tex
|