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 quantification