Theorem Polynomial.isMonicOfDegree_X

Modification history