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