Theorem Submodule.sub_mem_sup

Modification history