History of tag 08GP
| type | time | link |
|---|---|---|
| changed the proof | 2014-04-25 | 83e5a67 |
| changed the statement and the proof | 2013-05-24 | 719c185 |
| assigned tag 08GP | 2012-12-27 | a419829 |
| created statement with label lemma-induction-principle in spaces-perfect.tex | 2012-12-20 | 5783e12 |