Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Complexity theory
N-ary functions
cnaryf
Next ⟩
df-naryf
Metamath Proof Explorer
Ascii
Unicode
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