Theorem Submodule.linearEquiv_of_sSup_eq_top

Modification history