mathlib3

d483bc2c - chore(data/indicator_function): add a formula for the support of `indicator` (#6314)

chore(data/indicator_function): add a formula for the support of `indicator` (#6314) * rename `set.support_indicator` to `set.support_indicator_subset`; * add a new `set.support_indicator`; * add `function.support_comp_eq_preimage`.