mathlib

c956647c - feat(order/basic): Simple shortcut lemmas (#13421)

feat(order/basic): Simple shortcut lemmas (#13421) Add convenience lemmas to make the API a bit more symmetric and easier to translate between `transitive` and `is_trans`. Also rename `_ge'` to `_le` in lemmas and fix the `is_max_` aliases.