Theorem Group.fg_iff

Modification history