Syntax Definition csn 1808

Description: Extend class notation to include singleton.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
csn	class {A}

See definition df-sn 1811 for more information.

metamath.org