mathlib3

feat(data/fintype): range_prod_eq_univ_prod

#1937

Merged