Theorem Submodule.linearEquiv_of_le_sSup

Modification history