Uniqueness quantification
(no description is available)
MathWorld: UniqueWikipedia (English): Uniqueness quantification
Agda Unimath: uniquely exists (in a subtype)
Wikidata: uniqueness quantification
nLab: uniqueness quantifier
mathswitch — infrastructure for relaying and exchanging mathematical concepts
(no description is available)
MathWorld: Unique