Database
REAL AND COMPLEX NUMBERS
Construction and axiomatization of real and complex numbers
Dedekind-cut construction of real and complex numbers
cnr

Next ⟩ c0r

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cnr

Description: Set of signed reals.

		Ref	Expression
	Assertion	cnr	$class 𝑹$