Theorem Monoid.fg_iff_add_fg

Modification history