HomeHome Metamath Proof Explorer < Previous   Next >
Related theorems
Unicode version
Syntax Definition cxr 6652
Description: The set of extended reals (includes plus and minus infinity).
Assertion
Ref Expression
cxr class RR*
See definition df-xr 6656 for more information.
Colors of variables: wff set class
Copyright terms: Public domain