Theorem Polynomial.smeval_commute_left

Modification history