Theorem Polynomial.smeval_sub

Modification history