Theorem Polynomial.smeval_commute

Modification history