Theorem CochainComplex.mk'_X_0

Modification history