Theorem Polynomial.isMonicOfDegree_add_add_two

Modification history