existential quantification
logical quantification stating that a statement holds for at least one object
Wikidata: existential quantificationAgda Unimath: existential quantification (on a subtype)
mathswitch — infrastructure for relaying and exchanging mathematical concepts
logical quantification stating that a statement holds for at least one object
Wikidata: existential quantification