Syntax Definition cprod 11513

Description: Extend class notation to include complex products.

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵
vk	setvar 𝑘

Assertion

Ref	Expression
cprod	class ∏𝑘 ∈ 𝐴 𝐵

See definition df-proddc 11514 for more information.