Metamath Proof Explorer


Syntax definition cs4

Description: Syntax for the length 4 word constructor.

Ref Expression
Assertion cs4
class <" A B C D ">