Theorem ciSup_bot

Modification history

2026-04-05 08:48
Mathlib/Order/ConditionallyCompleteLattice/Indexed.lean
feat(SetTheory/Ordinal): add `add_iSup`, `mul_iSup` and friends (#37470) …
Added ciSup_botView on Github →