Metamath Proof Explorer


Syntax definition cplr

Description: Signed real addition.

Ref Expression
Assertion cplr class + 𝑹