Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Complexity theory
N-ary functions
cnaryf
Next ⟩
df-naryf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnaryf
Description:
Extend the definition of a class to include the n-ary functions.
Ref
Expression
Assertion
cnaryf
class -aryF