Theorem Polynomial.natDegree_le_pred

Modification history