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
Unicode

Syntax definition cmnf

Description: Minus infinity.

		Ref	Expression
	Assertion	cmnf	$class −∞$