Commit 2023-03-27 21:01 2cacae9c
View on Github →feat: The upper closure is bounded below (#3138)
Match https://github.com/leanprover-community/mathlib/pull/18637
order.upper_lower.basic@59694bd07f0a39c5beccba34bd9f413a160782bf..e9ce88cd0d54891c714c604076084f763dd480ed