feat(measure_theory/measure/measure_space): add interval_oc_ae_eq_interval (#14566)
interval_oc_ae_eq_interval