History of tag 0H0J
| type | time | link |
|---|---|---|
| changed the statement | 2024-06-17 | 0930990 |
| assigned tag 0H0J | 2022-06-23 | 74d1c9b |
| changed the statement and the proof | 2022-06-23 | b6b76ee |
| created statement with label lemma-QC-compare in stacks-sheaves.tex | 2022-06-21 | 4983de8 |