Home

Metamath Proof Explorer

< Previous   Next > Related theorems Unicode version

---

Syntax Definition cplr 4969

Description: Signed real addition.

Assertion

Ref	Expression
cplr

---

See definition df-plr 5140 for more information.

---

Colors of variables: wff set class

Copyright terms: Public domain