History of tag 07IT
| type | time | link |
|---|---|---|
| changed the proof | 2012-02-22 | f7d5725 |
| assigned tag 07IT | 2012-02-12 | 2d9c642 |
| changed the statement | 2012-02-10 | 7798d58 |
| created statement with label lemma-crystal-quasi-coherent-modules in crystalline.tex | 2012-02-04 | b633ca4 |