mathlib3

4a37c284 - feat(data/fintype/basic): set.to_finset_eq_empty_iff (#7075)