Theorem polynomial_smul_apply

Modification history