ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F6519 on R468: Lagrange's theorem
F6519
Formulation 0
Let $G$ be a D1082: Finite group.
Let $H$ be a D496: Subgroup of $G$ such that
(i) $G / H$ is the D1396: Set of left cosets in $G$ modulo $H$
Then \begin{equation} |G / H| = \frac{|G|}{|H|} \end{equation}