Syntax Definition cs5 11245

Description: Syntax for the length 5 word constructor.

Hypotheses

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

Assertion

Ref	Expression
cs5	class ⟨“𝐴𝐵𝐶𝐷𝐸”⟩

See definition df-s2 11249 for more information.