History of tag 0AF1
type | time | link |
---|---|---|
moved the statement to file spaces-pushouts.tex | 2014-07-15 | d8e00c5 |
assigned tag 0AF1 | 2014-06-17 | 2676bbe |
changed the proof | 2014-06-15 | 1d6af7b |
created statement with label lemma-dominate-by-fpqc-covering in resolve.tex | 2014-06-15 | 7239b9e |