Syntax Definition cs5 11245

Description: Syntax for the length 5 word constructor.

Hypotheses

Ref	Expression
cA	class A
cB	class B
cC	class C
cD	class D
cE	class E

Assertion

Ref	Expression
cs5	class <" A B C D E ">

See definition df-s2 11249 for more information.