History of tag 0G9K
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-04 |
0bbf9d1 |
More on formal algebraic spaces
Almost all of this is utterly trivial. It is only when you chain 100 or
so of these lemmas together that you get something recognizable as
geometry.
|
|
assigned tag 0G9K
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the statement and the proof
|
2021-01-25 |
47aa2d3 |
More on two term complexes
|
|
changed the statement and the proof
|
2021-01-24 |
31261e1 |
Fix section in more-algebra
Add annoying proofs and try to formulate stuff clearly
|
|
moved the statement to file more-algebra.tex
|
2021-01-23 |
bc74395 |
Move a section earlier
This material should be used as much as possible when we say things
about the naive cotangent complex
|
|
created statement with label lemma-ext-1-annihilated 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!
|