History of tag 0AFE
type | time | link |
---|---|---|
changed the proof | 2017-02-16 | e3df886 |
assigned tag 0AFE | 2014-06-23 | 11084b4 |
changed the proof | 2014-06-23 | 80a6e58 |
created statement with label lemma-rel-dimension-dimension in morphisms.tex | 2014-06-23 | 1b90a57 |