History of tag 0GTT
| type | time | link |
|---|---|---|
| assigned tag 0GTT | 2022-03-14 | fff42ff |
| changed the label to lemma-blow-up-ample-family | 2022-02-27 | af3c9e5 |
| changed the statement and the proof | 2022-02-27 | af3c9e5 |
| created statement with label lemma-blowing-up-with-resolution-property in more-morphisms.tex | 2022-02-24 | 61531c0 |