mathlib

d487230d - feat(algebra/big_operators): add prod_multiset_count_of_subset (#11919)