Metamath Proof Explorer

Syntax definition cadds

Description: Declare the syntax for surreal addition.

Ref Expression
Assertion cadds 
class +s