mathlib3

1e677e66 - chore(data/finset/basic): use `finset.map` in `sigma_eq_bind` (#3857)