Metamath Proof Explorer


Syntax definition csingle

Description: Declare the syntax for the singleton function.

Ref Expression
Assertion csingle class 𝖲𝗂𝗇𝗀𝗅𝖾𝗍𝗈𝗇