History of tag 055A
| type | time | link |
|---|---|---|
| changed the proof | 2011-10-03 | 1f48871 |
| changed the proof | 2010-10-09 | 2b090dd |
| assigned tag 055A | 2010-09-04 | 402ce88 |
| created statement with label lemma-nr-geom-irreducible-components-good in more-morphisms.tex | 2010-09-02 | 7283a57 |