Metamath Proof Explorer


Syntax definition cnaryf

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

Ref Expression
Assertion cnaryf class -aryF