Theorem Submodule.map_le_smul_top

Modification history