Theorem Polynomial.isMonicOfDegree_monomial_one

Modification history