History of tag 09BZ
type | time | link |
---|---|---|
changed the proof | 2013-12-22 | 5b9bcfb |
assigned tag 09BZ | 2013-06-27 | fc2dc18 |
changed the proof | 2013-06-27 | e01125c |
created statement with label lemma-derived-complete-limit in proetale.tex | 2013-06-26 | bf5028e |