History of tag 09IT
type | time | link |
---|---|---|
changed the proof | 2016-08-31 | 2d984e2 |
changed the proof | 2014-04-25 | 83e5a67 |
assigned tag 09IT | 2013-08-24 | b162e24 |
created statement with label lemma-induction-principle-enlarge in spaces-perfect.tex | 2013-08-24 | 70ea0e5 |