Theorem Submodule.toAddSubmonoid_toNatSubmodule

Modification history