Theorem GroupFG.iff_add_fg

Modification history