Theorem PolynomialModule.eval_smul

Modification history