Database
SURREAL NUMBERS
Induction and recursion
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