Theorem HomologicalComplex.XIsoOfEq_hom_naturality

Modification history

2023-09-05 16:59
Mathlib/Algebra/Homology/HomologicalComplex.lean
feat: the shift on the category of cochain complexes (#6626) …
Added HomologicalComplex.XIsoOfEq_hom_naturalityView on Github →