History of tag 0A43
type | time | link |
---|---|---|
changed the statement and the proof | 2014-09-09 | b2e6757 |
assigned tag 0A43 | 2014-04-25 | d1c2a00 |
created statement with label lemma-check-smoothness-on-infinitesimal-nbhds in more-morphisms.tex | 2014-04-22 | d73bc3a |