Theorem Polynomial.natDegree_neg

Modification history