Theorem HomologicalComplex.biprod_total_f

Modification history

2026-03-02 13:09
Mathlib/Algebra/Homology/HomologicalComplexBiprod.lean
feat(Algebra/Homology): more lemmas for the biproduct of complexes (#35934)
Added HomologicalComplex.biprod_total_fView on Github →