Metamath Proof Explorer


Syntax definition caddc

Description: Addition on complex numbers.

Ref Expression
Assertion caddc
class +