History of tag 0GZS
| type | time | link |
|---|---|---|
| changed the proof | 2022-06-27 | 87118c9 |
| assigned tag 0GZS | 2022-06-23 | 74d1c9b |
| changed the statement | 2022-06-23 | b6b76ee |
| created statement with label lemma-cartesion-plus-topology in sites-cohomology.tex | 2022-06-22 | 90aa2d5 |