Metamath Proof Explorer - cplr

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cplr 3791

Description: Signed real addition.

**Assertion**
Ref	Expression
cplr	class +_R

See definition df-plr 3962 for more information.

Colors of variables: wff set class