History of tag 0A8V
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2016-02-14 | 7bfb8a3 |
| changed the proof | 2015-03-30 | 0a5bec0 |
| assigned tag 0A8V | 2014-05-13 | 07d1700 |
| created statement with label lemma-internal-hom-composition in cohomology.tex | 2014-05-11 | c9793b8 |