Theorem Submodule.le_linearEquiv_of_sSup_eq_top

Modification history