Theorem isUpperSet_Ioi

Modification history

2026-10-17 10:55

Mathlib/Order/UpperLower/Basic.lean

refactor: `isUpperSet_Ixi` → `IsUpperSet.Ixi` (#44929)

Deleted isUpperSet_Ioi View on Github →

2026-02-21 12:45

Mathlib/Order/UpperLower/Basic.lean

chore(Order/UpperLower/Basic): use `to_dual` (#34640)

Modified isUpperSet_Ioi View on Github →

2023-02-01 07:36

Mathlib/Order/UpperLower/Basic.lean

feat: port Order.UpperLower.Basic (#1978)

Added isUpperSet_Ioi View on Github →