Database
SURREAL NUMBERS
Subsystems of surreals
Dyadic fractions
c2s
Next ⟩
df-2s
Metamath Proof Explorer
Ascii
Structured
Syntax definition
c2s
Description:
Declare the syntax for surreal two.
Ref
Expression
Assertion
c2s
class
2
s