History of tag 0GAW
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GAW
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
created statement with label lemma-approximate-presentation-rig-smooth in restricted.tex
|
2021-02-01 |
100c9df |
Algebraization in principal case
Observe that lemma-approximate-presentation-rig-smooth
combined with lemma-equivalent-with-artin-smooth
shows that a rig-smooth formal scheme becomes
"locally algebraizable" after a blowup of a closed
contained in its reduction.
|