History of tag 0C2E
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2016-03-10 | 0407d21 |
| assigned tag 0C2E | 2016-03-04 | 82fa846 |
| created statement with label lemma-geometrically-normal-formal-fibres-number-of-branches in more-algebra.tex | 2016-03-03 | 10a689a |