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 |