Theorem bbdAbove_range_left_of_sup

Modification history

2026-05-15 11:00
Mathlib/Order/Bounds/Basic.lean
feat(Order/ConditionallyCompleteLattice/Indexed): `iSup` of `sup`s vs `sup` of `iSup`s (#36169) …
Added bbdAbove_range_left_of_supView on Github →