Metamath Proof Explorer - cplr

Metamath Proof Explorer

< Previous Next >
Related theorems
Unicode version

Syntax Definition cplr 3791

Description: Signed real addition.

**Assertion**
Ref	Expression
cplr

See definition df-plr 3962 for more information.

Colors of variables: wff set class