Theorem MeasureTheory.ae_eq_set_diff

Modification history

2026-06-09 08:51
Mathlib/MeasureTheory/OuterMeasure/AE.lean
chore: rename `diff` to `sdiff` (#40184) …
Deleted MeasureTheory.ae_eq_set_diffView on Github →
2025-04-08 07:05
Mathlib/MeasureTheory/OuterMeasure/AE.lean
feat: the completion of a separable measure is separable (#23796)
Added MeasureTheory.ae_eq_set_diffView on Github →