Theorem CochainComplex.exactAt_succ_single_obj

Modification history