History of tag 0E7D
type | time | link |
---|---|---|
changed the statement and the proof | 2018-09-04 | fbd5243 |
assigned tag 0E7D | 2017-07-28 | aad4937 |
changed the proof | 2017-07-28 | 96250fb |
created statement with label lemma-higher-direct-images-zero-above-dimension-fibre in limits.tex | 2017-07-23 | cfa03b0 |