Theorem Polynomial.Monic.nextCoeff_prod

Modification history