Theorem CochainComplex.cm5b

Modification history

2025-11-23 19:05

Mathlib/Algebra/Homology/Factorizations/CM5b.lean

feat(Algebra/Homology): a factorization of morphisms of cochain complexes (#31559) …

Added CochainComplex.cm5b View on Github →