Theorem CochainComplex.mk_X_1

Modification history