Theorem Polynomial.nextCoeff_map

Modification history