History of tag 0GAP
Go back to the tag's page.
type |
time |
link |
assigned tag 0GAP
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
changed the statement
|
2021-02-01 |
1c5a8de |
Fix use of newer version lemma
Fallout from 39133674
|
changed the statement
|
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...
|
created statement with label remark-improve-homomorphism in restricted.tex
|
2021-01-16 |
efd24a4 |
Rough discussion of rig-smooth maps
Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!
|