Theorem csSup_le_csSup'

Modification history

2024-09-16 17:23
Mathlib/Order/ConditionallyCompleteLattice/Basic.lean
refactor(SetTheory/Ordinal/Arithmetic): Ditch `Ordinal.sup` (#15820) …
Added csSup_le_csSup'View on Github →