Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - cuts and options
cold
Next ⟩
cnew
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cold
Description:
Declare the symbol for the older than function.
Ref
Expression
Assertion
cold
class
Old