mathlib3

b0d961b4 - chore(algebra/indicator_function): add `finset.sum_indicator_eq_sum_filter` (#9208)