History of tag 0FII
| type | time | link |
|---|---|---|
| assigned tag 0FII | 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-A5-A6-imply in weil.tex | 2019-07-17 | b507955 |