Theorem Polynomial.nextCoeff_of_natDegree_pos

Modification history