History of tag 0GAQ
Go back to the tag's page.
type |
time |
link |
assigned tag 0GAQ
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
changed the statement and the proof
|
2021-02-01 |
1c5a8de |
Fix use of newer version lemma
Fallout from 39133674
|
changed the statement and the proof
|
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...
|
changed the statement and the proof
|
2021-01-25 |
ec7a085 |
Clean up material on rig-smooth maps a bit more
|
changed the statement and the proof
|
2021-01-24 |
993b267 |
More cleanup of recent material
This is just horrible of course. It all works fine though.
|
created statement with label lemma-get-morphism-general-better 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!
|