History of tag 0512
| type | time | link |
|---|---|---|
| changed the statement | 2016-06-08 | 96d67ba |
| changed the proof | 2011-07-08 | 61cbdbb |
| assigned tag 0512 | 2010-07-20 | c535ea1 |
| created statement with label lemma-characterize-representable-universally-closed in stacks-morphisms.tex | 2010-07-20 | 350b923 |