Metamath Proof Explorer


Syntax definition csingle

Description: Declare the syntax for the singleton function.

Ref Expression
Assertion csingle classπ–²π—‚π—‡π—€π—…π–Ύπ—π—ˆπ—‡