Metamath Proof Explorer


Syntax definition cnp

Description: Set of positive reals.

Ref Expression
Assertion cnp class 𝑷