mathlib3

8bf85d74 - feat(algebra/indicator_function): add an apply version of `mul_indicator_finset_bUnion` (#14919)