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