Theorem Subgroup.closure_toSubmonoid

Modification history