Metamath Proof Explorer

Syntax definition csingles

Description: Declare the syntax for the class of all singletons.

Ref Expression
Assertion csingles class Singletons