mathlib

af213089 - feat(order/bounded_order): `is_well_order` instances for `with_top` and `with_bot` (#15278)