mathlib3

e07cac54 - feat(data/finset): add to_finset_smul