Metamath Proof Explorer


Syntax definition c0s

Description: Declare the class syntax for surreal zero.

Ref Expression
Assertion c0s Could not format assertion : No typesetting found for class 0s with typecode class