History of tag 0FF4
| type | time | link |
|---|---|---|
| assigned tag 0FF4 | 2019-08-28 | c905dd0 |
| changed the proof | 2019-08-25 | ddd38a8 |
| changed the proof | 2019-08-19 | 00062d0 |
| changed the proof | 2019-08-16 | 854d046 |
| created statement with label lemma-lci-gysin-flat in chow.tex | 2019-08-15 | e166893 |