Theorem Submodule.mem_sSup_iff_exists_finset

Modification history