History of tag 03Z1
| type | time | link |
|---|---|---|
| changed the statement | 2016-06-08 | e07d9a8 |
| changed the proof | 2010-10-09 | 2b090dd |
| assigned tag 03Z1 | 2010-01-05 | 5da783e |
| created statement with label lemma-characterize-representable-universally-open in spaces-morphisms.tex | 2010-01-05 | d14460c |