Theorem PolynomialModule.single_smul

Modification history