Theorem Polynomial.smeval_add

Modification history