Metamath Proof Explorer


Syntax definition csingles

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

Ref Expression
Assertion csingles
class Singletons