Metamath Proof Explorer


Syntax definition cpnf

Description: Plus infinity.

Ref Expression
Assertion cpnf
class +oo