History of tag 07C0
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2014-07-02 | ae62df6 |
| moved the statement to file more-algebra.tex | 2012-04-12 | 24b40a4 |
| assigned tag 07C0 | 2011-12-22 | 0ffbd53 |
| created statement with label lemma-regular-local in smoothing.tex | 2011-12-19 | d15b0a6 |