Theorem Polynomial.isMonicOfDegree_two_iff'

Modification history