History of tag 08LY
type | time | link |
---|---|---|
changed the proof | 2015-03-12 | da6468e |
assigned tag 08LY | 2013-02-19 | 875629a |
changed the statement and the proof | 2013-02-18 | 6ccdb23 |
created statement with label lemma-closed-subtopos in sites.tex | 2013-02-17 | 7a7f788 |