mathlib

e98999ef - chore(algebra/pi_instances): generalize pi.list/multiset/finset_prod/sum_apply to dependent types