Finitely generated group (source code)

= Finitely generated group
{wiki}

A group is finitely generated when it has a finite <generating set of a group>.