Database
SURREAL NUMBERS
Conway cut representation
Cuts and Options
cold
Next ⟩
cnew
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cold
Description:
Declare the symbol for the older than function.
Ref
Expression
Assertion
cold
class _Old