History of tag 0EJP
| type | time | link |
|---|---|---|
| assigned tag 0EJP | 2018-05-03 | d2efbfd |
| changed the label to lemma-interesting-case-final | 2018-05-01 | 6948241 |
| changed the statement and the proof | 2018-05-01 | 6948241 |
| created statement with label remark-interesting-case-final in algebraization.tex | 2018-04-30 | 2a155dd |