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
Structured

Syntax definition cnr

Description: Set of signed reals.

		Ref	Expression
	Assertion	cnr	class R