Theorem isLUB_iUnion_iff_of_isLUB

Modification history

2025-01-22 19:43
Mathlib/Order/Bounds/Lattice.lean
feat(Order/Bounds/Lattice): bounds over collections of sets (#19150) …
Added isLUB_iUnion_iff_of_isLUBView on Github →