Existential quantification
(no description is available)
Wikipedia (English): Existential quantificationEncyclopedia of Mathematics: Existential quantifier
MathWorld: Exists
Wikidata: existential quantification
Agda Unimath: existential quantification (on a subtype)
nLab: existential quantifier