mathlib3

chore(data/fintype/card): instance `well_founded_of_trans_of_irrefl`

#18774

Open