mathlib3

feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`

#18318

Open