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

Unicode
Structured

Syntax definition cmnf

Description: Minus infinity.

		Ref	Expression
	Assertion	cmnf	class -oo