Metamath Proof Explorer


Syntax definition cadds

Description: Declare the syntax for surreal addition.

Ref Expression
Assertion cadds class +s