History of tag 0FIE
type | time | link |
---|---|---|
changed the statement | 2022-01-08 | 4722888 |
assigned tag 0FIE | 2019-08-28 | c905dd0 |
changed the statement and the proof | 2019-08-28 | 3f94af4 |
created statement with label lemma-chern-classes in weil.tex | 2019-08-19 | d88fc6f |