Commit 2020-06-14 12:37 7f60a62d
View on Github →chore(order/basic): move unbundled order classes to rel_classes ([#3066](https://github.com/leanprover-community/mathlib/pull/3066)) Reason: these classes are rarely used in
mathlib, we don't need to mix them with classes extending
has_le`.