mathlib3

a50170a8 - chore(data/{finset,set}/basic): Align lemmas (#17805)

chore(data/{finset,set}/basic): Align lemmas (#17805) Match the `set` and `finset` statements. Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>