Database
REAL AND COMPLEX NUMBERS
Order sets
Infinity and the extended real number system (cont.)
cxmu
Next ⟩
df-xneg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cxmu
Description:
Extend class notation to include multiplication of extended reals.
Ref
Expression
Assertion
cxmu
class *e