Commit 2025-03-03 13:51 cc536174
View on Github →chore: move order-related code out of Data.Set.Image (#22496) As it happens, none of these declarations seem to be used in mathlib, but they could be useful. Copyright from leanprover-community/mathlib3#17489.