Theorem PolynomialModule.monomial_smul_apply

Modification history