Exponential growth of a group (source code)

= Exponential growth of a group

A finitely generated group has exponential growth when the number of elements represented by words of length at most $n$ is bounded below by $c^n$ for some $c>1$ and all sufficiently large $n$. The property is independent of the chosen finite generating set.