Theorem CochainComplex.mappingCone.isZero_X_iff

Modification history

2025-11-23 19:05
Mathlib/Algebra/Homology/HomotopyCategory/MappingCone.lean
feat(Algebra/Homology): a factorization of morphisms of cochain complexes (#31559) …
Added CochainComplex.mappingCone.isZero_X_iffView on Github →