Theorem ChainComplex.next_nat_succ

Modification history