Metamath Proof Explorer

Syntax definition c0s

Description: Declare the class syntax for surreal zero.

Ref Expression
Assertion c0s 
class 0s