Database
SURREAL NUMBERS
Conway cut representation
Cuts and Options
cnew
Next ⟩
cleft
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnew
Description:
Declare the symbol for the new on function.
Ref
Expression
Assertion
cnew
class _New