Universal quantification
(no description is available)
MathWorld: UniversalQuantifierWikipedia (English): Universal quantification
Encyclopedia of Mathematics: Universal quantifier
Wikidata: universal quantification
Agda Unimath: universal quantification (on a subtype)
nLab: universal quantifier