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

Formulation F798 on D1083: Finite ring

F798

Formulation 0

A D24: Ring $R = (X, +, \times)$ is finite if and only if $X$ is a D17: Finite set.