Metamath Proof Explorer

Syntax definition cs1

Description: Syntax for the singleton word constructor.

Ref Expression
Assertion cs1 
class <" A ">