mathlib3

chore(logic/hydra): instance `well_founded.cut_expand`

#18757

Open