Metamath Proof Explorer


Syntax definition cnorec2

Description: Declare the syntax for surreal recursion on two arguments.

Ref Expression
Assertion cnorec2 class norec2 s #A# F