Theorem Polynomial.smeval_neg_nat

Modification history