History of tag 0GYZ
Go back to the tag's page.
type |
time |
link |
assigned tag 0GYZ
|
2022-06-14 |
5575c4b
|
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
changed the statement and the proof
|
2022-06-14 |
5575c4b |
Tags: Added new tags
Also made some unimportant mostly invisible changes
|
changed the statement and the proof
|
2022-05-27 |
66f64aa |
Clean up and give a name
We are going to use QC(O) for this category of "cartesian" modules on a
category. Please complain now if you object!
|
created statement with label lemma-cartesian-colimit-kappa in sites-cohomology.tex
|
2022-05-26 |
265f044 |
Towards a better QCoh
Thanks to Bhargav Bhatt for encouragement to write this
|