mathlib

a55ba6e4 - feat(order/directed): add `anti_directed_order` and instances for `order_dual`