History of tag 0G2J
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G2J
|
2020-09-04 |
c28b168
|
Tags: added new tags
|
|
created statement with label lemma-single-point 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
|