Theorem Submodule.set_smul_le_of_le_le

Modification history