Theorem Order.IsNormal.le_iff_le_sSup'

Modification history

2026-02-27 10:47
Mathlib/Order/IsNormal.lean
refactor: nicer definition for ordinal division (#35849) …
Added Order.IsNormal.le_iff_le_sSup'View on Github →