History of tag 0FIM
| type | time | link |
|---|---|---|
| assigned tag 0FIM | 2019-08-28 | c905dd0 |
| changed the statement and the proof | 2019-08-28 | 3f94af4 |
| changed the statement and the proof | 2019-08-19 | d88fc6f |
| created statement with label lemma-trace-base in weil.tex | 2019-07-17 | b507955 |