Theorem ChainComplex.mk'_X_0

Modification history