Metamath Proof Explorer - cnp

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cnp 3779

Description: Set of positive reals.

**Assertion**
Ref	Expression
cnp	class P

See definition df-np 3880 for more information.

Colors of variables: wff set class