Metamath Proof Explorer - cpp

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cpp 3781

Description: Positive real addition.

**Assertion**
Ref	Expression
cpp	class +_P

See definition df-plp 3882 for more information.

Colors of variables: wff set class