mathlib3
chore(data/fintype/card): instance `well_founded_of_trans_of_irrefl`
#18774
Open
Open