Theorem Submodule.pointwise_smul_toAddSubmonoid

Modification history