Theorem ChainComplex.next_nat_zero

Modification history