mathlib

42d3cbc3 - feat(data/finsupp/basic): add `nat.cast_finsupp_prod` and 3 others (#10579)

feat(data/finsupp/basic): add `nat.cast_finsupp_prod` and 3 others (#10579) Add counterparts for `finsupp` of `nat.cast_prod` etc., as discussed in this thread https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/push_cast