Theorem Submodule.set_smul_le

Modification history