Theorem PolynomialModule.smul_single_apply

Modification history