Metamath Proof Explorer


Syntax definition csn

Description: Extend class notation to include singleton.

Ref Expression
Assertion csn
class { A }