History of tag 0G9F
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G9F
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed 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-definite 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!
|