History of tag 07L9
type | time | link |
---|---|---|
changed the statement and the proof | 2014-09-08 | c671f14 |
assigned tag 07L9 | 2012-03-21 | 4e265af |
changed the proof | 2012-02-24 | 898bc7d |
created statement with label lemma-vanishing-omega-1 in crystalline.tex | 2012-02-22 | 118f702 |