Theorem Submodule.top_toAddSubmonoid

Modification history