Theorem Subgroup.fg_iff_add_fg

Modification history