mathlib3

4b14ef48 - feat(data/fintype): instances for `infinite (α ⊕ β)` and `infinite (α × β)` (#10196)