feat(data/fintype): range_prod_eq_univ_prod (#1937)
* feat(algebra/big_operators): range_prod_eq_univ_prod
* fix build, part 1
* fix build, part 2
* fix build, part 3
* Fix build, part 4
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
