Syntax Definition cmpt3 33073

Description: Extend the definition of a class to include maps-to notation for functions with three arguments.

Hypotheses

Ref	Expression
vx	setvar x
vy	setvar y
vz	setvar z
cA	class A
cB	class B
cC	class C
cD	class D

Assertion

Ref	Expression
cmpt3	class ( x e. A , y e. B , z e. C |-> D )

See definition df-bj-mpt3 33074 for more information.