Theorem CochainComplex.mk_X_0

Modification history