History of tag 0F8N
| type | time | link |
|---|---|---|
| moved the statement to file cohomology.tex | 2022-03-06 | 5671e02 |
| changed the statement and the proof | 2022-03-06 | 5671e02 |
| assigned tag 0F8N | 2019-05-10 | d2e9c62 |
| created statement with label lemma-eta-first-property in flat.tex | 2019-05-08 | 1777375 |