mathlib3

refactor(order/rel_classes): remove redundant hypothesis from `is_well_order`

#18702

Open