Theorem Submodule.mem_sSup

Modification history