Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - zero and one
c1s
Next ⟩
df-0s
Metamath Proof Explorer
Ascii
Structured
Syntax definition
c1s
Description:
Declare the class syntax for surreal one.
Ref
Expression
Assertion
c1s
class
1s