History of tag 0A7D
| type | time | link |
|---|---|---|
| moved the statement to file more-algebra.tex | 2020-12-23 | bed92d0 |
| changed the statement and the proof | 2020-12-23 | bed92d0 |
| assigned tag 0A7D | 2014-05-10 | 9e227cd |
| created statement with label lemma-detect-cohomology in dualizing.tex | 2014-05-06 | 32cbb11 |