History of tag 0FIF
type | time | link |
---|---|---|
changed the proof | 2020-11-13 | 4206155 |
assigned tag 0FIF | 2019-08-28 | c905dd0 |
changed the statement and the proof | 2019-08-28 | 3f94af4 |
created statement with label lemma-cycle-classes in weil.tex | 2019-08-19 | d88fc6f |