Theorem Submodule.le_linearEquiv_of_le_sSup

Modification history