Theorem CochainComplex.mappingCone.triangleMapOfHomotopy_comm₂

Modification history