Theorem PolynomialModule.monomial_smul_single

Modification history