Database
SURREAL NUMBERS
Conway cut representation
Conway cuts
cslts
Next ⟩
df-slts
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cslts
Description:
Declare the syntax for surreal set less-than.
Ref
Expression
Assertion
cslts
class
<<s