Theorem CochainComplex.mappingCone.liftCochain_v_descCochain_v

Modification history

2024-01-09 20:08
Mathlib/Algebra/Homology/HomotopyCategory/MappingCone.lean
feat(Algebra/Homology): the mapping cone (#8951) …
Added CochainComplex.mappingCone.liftCochain_v_descCochain_vView on Github →