History of tag 02C9
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2014-07-24 |
531edc2 |
Slogan by Johan Commelin
http://stacks.math.columbia.edu/tag/02C9#comment-841
|
|
changed the proof
|
2012-11-07 |
8ef1832 |
Making sure we have a proof environment for every statement
|
|
assigned tag 02C9
|
2009-05-18 |
f609982
|
Added new tags for labels added in previous commit
modified: tags/tags
|
|
changed the label to lemma-ideal-in-localization
|
2009-05-18 |
8795cf8 |
More setup for tags system
modified: algebra.tex
modified: categories.tex
modified: exercises.tex
modified: flat.tex
modified: modules.tex
modified: scripts/functions.py
modified: scripts/make_book.py
modified: scripts/make_index.py
new file: scripts/make_tags.py
modified: scripts/parse.py
modified: tags/tags
|
|
changed the statement
|
2009-05-18 |
8795cf8 |
More setup for tags system
modified: algebra.tex
modified: categories.tex
modified: exercises.tex
modified: flat.tex
modified: modules.tex
modified: scripts/functions.py
modified: scripts/make_book.py
modified: scripts/make_index.py
new file: scripts/make_tags.py
modified: scripts/parse.py
modified: tags/tags
|
|
created statement with label in algebra.tex
|
2008-09-27 |
c06df46 |
Added constribution of Xue Hang on localization
modified: CONTRIBUTORS
modified: algebra.tex
|