History of tag 0AEL
type | time | link |
---|---|---|
assigned tag 0AEL | 2014-06-17 | 2676bbe |
moved the statement to file spaces-more-groupoids.tex | 2014-06-08 | f560291 |
created statement with label lemma-factor-through-over-open in examples.tex | 2014-06-08 | 172c163 |