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