Syntax Definition cs4 11244

Description: Syntax for the length 4 word constructor.

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵
cC	class 𝐶
cD	class 𝐷

Assertion

Ref	Expression
cs4	class ⟨“𝐴𝐵𝐶𝐷”⟩

See definition df-s2 11249 for more information.