Metamath Proof Explorer


Syntax definition cnorec

Description: Declare the syntax for surreal recursion of one variable.

Ref Expression
Assertion cnorec Could not format assertion : No typesetting found for class norec ( F ) with typecode class