Theorem HomologicalComplex.exactAt_iff_isZero_homology

Modification history

2023-11-04 08:45
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
feat: homology of chain complexes in degree 0 (#8169)
Modified HomologicalComplex.exactAt_iff_isZero_homologyView on Github →
2023-11-02 20:10
Mathlib/Algebra/Homology/ShortComplex/HomologicalComplex.lean
feat: functoriality of the homology of homological complexes (#8113)
Added HomologicalComplex.exactAt_iff_isZero_homologyView on Github →