Syntax Definition cs3 11243

Description: Syntax for the length 3 word constructor.

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵
cC	class 𝐶

Assertion

Ref	Expression
cs3	class ⟨“𝐴𝐵𝐶”⟩

See definition df-s2 11249 for more information.