chore(measure_theory/measure): add exists_measurable_superset_forall_eq (#6853)
exists_measurable_superset_forall_eq