Theorem MeasureTheory.le_measure_symmDiff

Modification history

2026-01-13 15:36
Mathlib/MeasureTheory/Measure/MeasureSpace.lean
feat(MeasureTheory): Foelner filters (#31653) …
Added MeasureTheory.le_measure_symmDiffView on Github →