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

Unicode
Structured

Syntax definition cpnf

Description: Plus infinity.

		Ref	Expression
	Assertion	cpnf	class +oo