Theorem Polynomial.isMonicOfDegree_two_iff

Modification history