Theorem AddMonoid.fg_iff_mul_fg

Modification history