History of tag 0F0I
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2018-10-27 | 44ac349 |
| assigned tag 0F0I | 2018-10-15 | 329b4f9 |
| changed the proof | 2018-10-15 | 2b46353 |
| created statement with label lemma-compare-ph-etale in etale-cohomology.tex | 2018-10-15 | 24b22b8 |