Theorem Polynomial.isMonicOfDegree_X_sub_one

Modification history