Theorem MeasureTheory.ae_eq_set_symmDiff

Modification history

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_symmDiffView on Github →