Theorem Polynomial.isMonicOfDegree_iff

Modification history