Theorem GroupFg.iff_add_fg

Modification history