Theorem CochainComplex.mappingCone.inr_desc

Modification history