Theorem lowerBounds_iUnion

Modification history

2026-06-08 10:43
Mathlib/Order/Bounds/Lattice.lean
feat: CountableSupClosed (#38245) …
Deleted lowerBounds_iUnionView on Github →
2025-01-22 19:43
Mathlib/Order/Bounds/Lattice.lean
feat(Order/Bounds/Lattice): bounds over collections of sets (#19150) …
Added lowerBounds_iUnionView on Github →