Metamath Proof Explorer


Syntax definition cs1

Description: Syntax for the singleton word constructor.

Ref Expression
Assertion cs1 class ⟨“ 𝐴 ”⟩