Theorem ChainComplex.exactAt_succ_single_obj

Modification history