Syntax Definition cs7 11247

Description: Syntax for the length 7 word constructor.

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵
cC	class 𝐶
cD	class 𝐷
cE	class 𝐸
cF	class 𝐹
cG	class 𝐺

Assertion

Ref	Expression
cs7	class ⟨“𝐴𝐵𝐶𝐷𝐸𝐹𝐺”⟩

See definition df-s2 11249 for more information.