History of tag 0E8D
| type | time | link |
|---|---|---|
| changed the label to lemma-stable-reduction | 2017-08-07 | f24fe82 |
| changed the statement and the proof | 2017-08-07 | f24fe82 |
| assigned tag 0E8D | 2017-07-28 | aad4937 |
| created statement with label lemma-stabe-reduction in moduli-curves.tex | 2017-07-27 | 798b694 |