ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F796 on D1082: Finite group

F796

Formulation 0

A D22: Group $G = (X, f)$ is a finite group if and only if $X$ is a D17: Finite set.