Theorem Polynomial.smeval_smul

Modification history