Theorem Polynomial.isMonicOfDegree_X_add_one

Modification history