History of tag 08DK
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2014-05-11 | c9793b8 |
| changed the proof | 2013-01-29 | 70eaefa |
| assigned tag 08DK | 2012-12-19 | f85564a |
| created statement with label lemma-section-RHom-over-U in cohomology.tex | 2012-12-17 | 0e6139e |