Subgroups and cosets

Subgroup and coset enumeration, and Lagrange’s theorem.

Lagrange’s theorem: subgroup order divides group order

Lagrange's theorem: subgroup order divides group order