mathlib3

b3b74f89 - feat(data/finset/basic): list.to_finset on list ops (#7297)