Theorem Polynomial.smeval_neg

Modification history