History of tag 0FFU
| type | time | link |
|---|---|---|
| moved the statement to file homology.tex | 2019-11-03 | 2fc5f4d |
| changed the statement and the proof | 2019-11-03 | 2fc5f4d |
| assigned tag 0FFU | 2019-08-28 | c905dd0 |
| created statement with label lemma-Karoubian-dual in weil.tex | 2019-07-15 | 6059987 |