Metamath Proof Explorer


Syntax definition cs1

Description: Syntax for the singleton word constructor.

Ref Expression
Assertion cs1
class <" A ">