Theorem ChainComplex.single₀_obj_X_d

Modification history