Theorem exists_isLUB_iff_isLUB_sSup

Modification history

2026-09-24 15:23
Mathlib/Order/Bounds/Basic.lean
feat: `OrderSupSet` (#38328) …
Added exists_isLUB_iff_isLUB_sSupView on Github →