Theorem AddSubmonoid.toNatSubmodule_toAddSubmonoid

Modification history