History of tag 0DY5
| type | time | link |
|---|---|---|
| changed the statement | 2017-06-19 | 82dbd07 |
| changed the statement | 2017-06-18 | 2011f16 |
| assigned tag 0DY5 | 2017-06-12 | e74fb6d |
| created statement with label lemma-power-series-rings-TI in examples-defos.tex | 2017-05-30 | e7fc8f9 |