mathlib

06017e07 - feat(order/compare): add 4 dot notation lemmas (#12832)