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
class
norec2
s
#A#
F