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