History of tag 0663
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-12-11 |
9639996 |
Change some indices
|
|
assigned tag 0663
|
2011-05-01 |
a2646b8
|
Tags: added new tags
|
|
created statement with label lemma-homotopy-koszul in more-algebra.tex
|
2011-04-28 |
9856385 |
Permanence for perfect
X ---> Y a morphism of schemes over a base S. If X is perfect
over S and Y is smooth over S, then X ---> Y is perfect.
|