Theorem Polynomial.isMonicOfDegree_one_iff

Modification history