Database
SURREAL NUMBERS
Conway cut representation
Zero and One
c1s
Next ⟩
df-0s
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c1s
Description:
Declare the class syntax for surreal one.
Ref
Expression
Assertion
c1s
Could not format assertion : No typesetting found for class 1s with typecode class