Mathlib Changelog
v4
Changelog
About
Github
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 →