History of tag 0EYA
| type | time | link |
|---|---|---|
| changed the proof | 2019-07-24 | c53944e |
| changed the statement | 2019-01-21 | a09d0f7 |
| assigned tag 0EYA | 2018-09-25 | 37dae7d |
| changed the proof | 2018-09-21 | 1e57505 |
| created statement with label lemma-purity-power-series-over-depth2 in pione.tex | 2018-09-18 | f43c5f2 |