mathlib

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