Theorem ChainComplex.single₀_obj_X_succ

Modification history