Theorem CochainComplex.single₀_obj_X_succ

Modification history