Theorem Submodule.set_smul_mono_left

Modification history