This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
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
-∞