Metamath Proof Explorer


Syntax definition c2s

Description: Declare the syntax for surreal two.

Ref Expression
Assertion c2s class 2s