Theorem CochainComplex.mappingCone.map_eq_mapOfHomotopy

Modification history