History of tag 08GK
| type | time | link |
|---|---|---|
| changed the proof | 2016-11-26 | 65380a3 |
| changed the statement | 2016-11-13 | 1ccab25 |
| changed the proof | 2016-11-13 | 2626d73 |
| assigned tag 08GK | 2012-12-27 | a419829 |
| created statement with label lemma-direct-image-coherent in spaces-perfect.tex | 2012-12-19 | 47e4921 |