Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - cuts and options
cright
Next ⟩
df-made
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cright
Description:
Declare the symbol for the right option function.
Ref
Expression
Assertion
cright
class
R