Theorem Polynomial.Monic.nextCoeff_mul

Modification history