Theorem ChainComplex.mk_d_2_1

Modification history