Theorem Polynomial.isMonicOfDegree_zero_iff

Modification history