## universal quantification

logical quantification stating that a statement holds for all objects

Wikidata: universal quantificationAgda Unimath: universal quantification (on a subtype)

**mathswitch** — infrastructure for relaying and exchanging mathematical concepts

logical quantification stating that a statement holds for all objects

Wikidata: universal quantificationAgda Unimath: universal quantification (on a subtype)