mathlib3

feat(data/fintype/card): prod_univ_sum

#2284

Merged