History of tag 0E7V
| type | time | link |
|---|---|---|
| changed the statement | 2024-06-17 | 0930990 |
| assigned tag 0E7V | 2017-07-28 | aad4937 |
| changed the label to lemma-smoothing-affine-lci | 2017-07-20 | ec58eaa |
| changed the statement | 2017-07-20 | ec58eaa |
| created statement with label lemma-smoothing-affine in examples-defos.tex | 2017-07-20 | f057c39 |