History of tag 0FEJ
| type | time | link |
|---|---|---|
| assigned tag 0FEJ | 2019-08-28 | c905dd0 |
| moved the statement to file chow.tex | 2019-08-27 | 084b026 |
| changed the statement and the proof | 2019-08-27 | 084b026 |
| created statement with label lemma-second-adams-operator in weil.tex | 2019-08-26 | b6b1b4f |