Theorem CochainComplex.mappingCone.inl_v_descShortComplex_f

Modification history