Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-06 20:46 c7a1319b

View on Github →

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

Estimated changes