Theorem Submodule.smul_top_le_comap_smul_top

Modification history