ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4735 on D238: Universal quantifier

Conjunction is largest lower bound

Subresults

▶	R1130: Intersection is largest lower bound