History of tag 0E7Y
| type | time | link |
|---|---|---|
| assigned tag 0E7Y | 2017-07-28 | aad4937 |
| changed the label to lemma-smoothing-proper-curve-isolated-lci | 2017-07-20 | ec58eaa |
| changed the statement and the proof | 2017-07-20 | ec58eaa |
| created statement with label lemma-smooth-proper-curve-isolated in examples-defos.tex | 2017-07-20 | f057c39 |