Metamath Proof Explorer

Syntax definition c2s

Description: Declare the syntax for surreal two.

Ref Expression
Assertion c2s 
class 2s