Metamath Proof Explorer - cpp

Metamath Proof Explorer

< Previous Next >
Related theorems
Unicode version

Syntax Definition cpp 3781

Description: Positive real addition.

**Assertion**
Ref	Expression
cpp

See definition df-plp 3882 for more information.

Colors of variables: wff set class