Theorem Submonoid.fg_iff_add_fg

Modification history