Metamath Proof Explorer - cr

Metamath Proof Explorer

< Previous Next >
Related theorems
Unicode version

Syntax Definition cr 4027

Description: Class of real numbers.

**Assertion**
Ref	Expression
cr

See definition df-r 4038 for more information.

Colors of variables: wff set class