mathlib

7146082c - refactor(data/fintype/basic): weaken assumptions of set.fintype (#2650)