History of tag 0GAR
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GAR
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the proof
|
2021-02-01 |
1c5a8de |
Fix use of newer version lemma
Fallout from 39133674
|
|
changed the proof
|
2021-01-27 |
a0fcb52 |
More cleanup in restricted
Taking way too much effort to do this...
|
|
created statement with label lemma-close-enough in restricted.tex
|
2021-01-26 |
d040146 |
Algebraization rig-smooth in the G-ring case
Finally! The proof is actually much better than before as we now do not
worry about the cotangent complex for the nearby algebra and instead
worry only about very course properties of it. Thus the approximation
needs only approximate the generators of the ideal and the relations
between them and nothing else...
|