Theorem HomologicalComplex₂.total.mapMap_D₁

Modification history

2024-03-24 11:48
Mathlib/Algebra/Homology/TotalComplex.lean
feat(Algebra/Homology): the action of a bifunctor on homological complexes factors through homotopies (#10800) …
Deleted HomologicalComplex₂.total.mapMap_D₁View on Github →
2024-02-23 17:24
Mathlib/Algebra/Homology/TotalComplex.lean
feat(Algebra/Homology): the total complex functor (#10711) …
Added HomologicalComplex₂.total.mapMap_D₁View on Github →