Def IsRelLowerSet

Modification history

2025-12-04 02:49

Mathlib/Order/Defs/Unbundled.lean

chore(Order/Defs/Unbundled): use `to_dual` (#32378) …

Deleted IsRelLowerSet View on Github →

2025-05-24 12:26

Mathlib/Order/Defs/Unbundled.lean

feat: relative upper/lower sets (#23762) …

Added IsRelLowerSet View on Github →