Theorem Polynomial.IsMonicOfDegree.coeff_eq

Modification history