Metamath Proof Explorer


Syntax definition csingle

Description: Declare the syntax for the singleton function.

Ref Expression
Assertion csingle class Singleton