mathlib3

feat(order/well_founded): `well_founded_lt.has_min`, etc.

#18751

Open