mathlib3

ee5e9fb1 - feat(data/indicator_function): eq_self_of_superset (#6829)