Theorem Polynomial.isMonicOfDegree_sub_add_two

Modification history