Theorem Polynomial.IsMonicOfDegree.exists_natDegree_lt

Modification history