History of tag 0DZD
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2017-06-19 | 82dbd07 |
| changed the statement and the proof | 2017-06-18 | 2011f16 |
| assigned tag 0DZD | 2017-06-16 | a3173f8 |
| created statement with label lemma-smooth-henselization in examples-defos.tex | 2017-06-16 | cb13d9b |