mathlib3

9277d4b4 - chore(data/finset/basic): finset.prod -> finset.product in module docstring (#10413)