Theorem CochainComplex.mk_d_2_0

Modification history