Lagrange's theorem (group theory) (source code)

= Lagrange's theorem (group theory)
{wiki=Lagrange's_theorem_(group_theory)}