Theorem Submodule.pointwise_smul_toAddSubgroup

Modification history