History of tag 0GZZ
| type | time | link |
|---|---|---|
| changed the statement | 2024-06-17 | 0930990 |
| changed the proof | 2022-06-23 | 2a96e70 |
| assigned tag 0GZZ | 2022-06-23 | 74d1c9b |
| changed the proof | 2022-06-21 | b3168e9 |
| created statement with label lemma-DQCoh-alternative-small in perfect.tex | 2022-06-20 | e3e6da9 |