Theorem Submodule.sup_toAddSubmonoid

Modification history