Finite group (source code)

= Finite group
{tag=Finite algebraic structure}