Metamath Proof Explorer

Syntax definition c0s

Description: Declare the class syntax for surreal zero.

Ref Expression
Assertion c0s class 0s