Theorem ChainComplex.mk'_X_1

Modification history