Theorem CochainComplex.mappingCocone.inr_v_descCochain_v

Modification history

2026-03-03 01:03
Mathlib/Algebra/Homology/HomotopyCategory/MappingCocone.lean
feat(Algebra/Homology): the mapping cocone (#35929) …
Added CochainComplex.mappingCocone.inr_v_descCochain_vView on Github →