Syntax Definition cmpt3 7675

Description: Syntax for maps-to notation for functions with three arguments.

Hypotheses

Ref	Expression
vx	setvar 𝑥
vy	setvar 𝑦
vz	setvar 𝑧
cA	class 𝐴
cB	class 𝐵
cC	class 𝐶
cD	class 𝐷

Assertion

Ref	Expression
cmpt3	class (𝑥 ∈ 𝐴, 𝑦 ∈ 𝐵, 𝑧 ∈ 𝐶 ↦ 𝐷)

See definition df-mpt3 7676 for more information.