History of tag 081F
| type | time | link |
|---|---|---|
| changed the statement | 2014-08-10 | cfbacfb |
| changed the proof | 2013-01-31 | 2347f73 |
| assigned tag 081F | 2012-07-30 | 5fd44fe |
| changed the statement and the proof | 2012-07-27 | a2a6f6d |
| created statement with label lemma-eventually-proper in limits.tex | 2012-07-27 | ae9b673 |