Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers: Induction and recursion on one variable
cnorec
Next ⟩
df-norec
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnorec
Description:
Declare the syntax for surreal recursion of one variable.
Ref
Expression
Assertion
cnorec
Could not format assertion : No typesetting found for class norec ( F ) with typecode class