Metamath Proof Explorer


Syntax definition cnr

Description: Set of signed reals.

Ref Expression
Assertion cnr class R