Database
REAL AND COMPLEX NUMBERS
Derive the basic properties from the field axioms
Infinity and the extended real number system
cpnf

Next ⟩ cmnf

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cpnf

Description: Plus infinity.

		Ref	Expression
	Assertion	cpnf	$class +∞$