Theorem HomologicalComplex₂.d₂_eq_zero

Modification history

2024-02-13 21:51
Mathlib/Algebra/Homology/TotalComplex.lean
feat(Algebra/Homology): the total complex of a bicomplex (#9331)
Added HomologicalComplex₂.d₂_eq_zeroView on Github →