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 |