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

Formulation F3974 on D4536: Infinite ring

F3974

Formulation 0

A D24: Ring $R = (X, +, \times)$ is infinite if and only if $X$ is a D796: Infinite set.