Theorem Monoid.fg_iff_submonoid_fg

Modification history