History of tag 0G2K
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G2K
|
2020-09-04 |
c28b168
|
Tags: added new tags
|
|
created statement with label lemma-generalization-versality in artin.tex
|
2020-09-04 |
3e7633b |
Split out a lemma in artin and apply it
Thanks to æä¸ç¬
Since finite type points aren't closed there can be specializations
between them. Thus we can ask if versality of objects "generalizes".
We missed this point in the proof of 0CXU as well as another one which
we will fix in the next commit
|