Theorem Submodule.mem_sup

Modification history