Theorem AddMonoidAlgebra.smul_apply

Modification history