Mathlib Changelog
v4
Changelog
About
Github
Structure
RelLowerSet
Modification history
2025-05-24 12:26
Mathlib/Order/Defs/Unbundled.lean
feat: relative upper/lower sets (#23762) …
Added
RelLowerSet
View on Github →