Theorem Group.fg_iff'

Modification history