Metamath Proof Explorer


Syntax definition cplr

Description: Signed real addition.

Ref Expression
Assertion cplr
class +R