History of tag 0AEZ
type | time | link |
---|---|---|
moved the statement to file spaces-pushouts.tex | 2014-07-15 | d8e00c5 |
assigned tag 0AEZ | 2014-06-17 | 2676bbe |
created statement with label lemma-reverse-commutes-with-flat-base-change in resolve.tex | 2014-06-15 | 7239b9e |