Theorem HomologicalComplex.biprodX_ext_from_iff

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.biprodX_ext_from_iffView on Github →