Metamath Proof Explorer


Syntax definition cnaryf

Description: Extend the definition of a class to include the n-ary functions.

Ref Expression
Assertion cnaryf Could not format assertion : No typesetting found for class -aryF with typecode class