Theorem ciSup_or

Modification history

2026-09-22 12:37
Mathlib/Order/ConditionallyCompleteLattice/Indexed.lean
feat(Order/ConditionallyCompleteLattice/Indexed): `≤` version of `ciSup_or'` for `ConditionallyCompleteLattice` (#38855) …
Added ciSup_orView on Github →