Database
REAL AND COMPLEX NUMBERS
Derive the basic properties from the field axioms
Infinity and the extended real number system
cmnf
Next ⟩
cxr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmnf
Description:
Minus infinity.
Ref
Expression
Assertion
cmnf
class
-∞