Metamath Proof Explorer


Syntax definition csn

Description: Extend class notation to include singleton.

Ref Expression
Assertion csn class { 𝐴 }