History of tag 07CI
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2015-12-14 |
d89696d |
Fix proof of 0BSI using 07C3
Thanks to Takashi Suzuki for a discussion and suggesting how to
move things around to get a nice proof.
|
|
assigned tag 07CI
|
2011-12-22 |
0ffbd53
|
TAGS: added new tags
|
|
created statement with label lemma-colimit-standard-smooth in smoothing.tex
|
2011-12-19 |
0ccacc0 |
Presentations of smooth algebras
Some lemmas a la Elkik
|