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