Theorem CochainComplex.mk_X_2

Modification history