Metamath Proof Explorer


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