mathlib3

3cd7b577 - feat(data/(d)finsupp,fintype,fun_like): add fintype and (in)finite instances (#15725)

feat(data/(d)finsupp,fintype,fun_like): add fintype and (in)finite instances (#15725) Co-authored-by: Anne Baanen <t.baanen@vu.nl> Co-authored-by: Vierkantor <vierkantor@vierkantor.com> Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>