History of tag 0GN3
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GN3
|
2022-01-11 |
6f3b836
|
Tags: Added new tags
|
|
changed the label to lemma-colim-global
|
2022-01-01 |
e5175a4 |
Fix some FIXMEs
Kind of awful but it clearly works. This is more or less like doing
epsilon delta stuff when you first learn analysis...
|
|
changed the statement and the proof
|
2022-01-01 |
e5175a4 |
Fix some FIXMEs
Kind of awful but it clearly works. This is more or less like doing
epsilon delta stuff when you first learn analysis...
|
|
created statement with label lemma-colim-coherent-topos in sites-cohomology.tex
|
2021-12-30 |
8c2b329 |
More material on colimits commuting...
There is an infinite amount of this stuff
|