Theorem HomologicalComplex.biprodX_ext_from

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_fromView on Github →