Theorem MeasureTheory.measure_symmDiff_eq

Modification history

2024-08-30 10:14

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

chore(MeasureTheory): generalize to `NullMeasurableSet` (#16279) …

Modified MeasureTheory.measure_symmDiff_eq View on Github →

2023-08-01 18:35

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

feat: add `MeasureTheory.MeasurePreserving.measure_symmDiff_preimage_iterate_le` (#6175) …

Added MeasureTheory.measure_symmDiff_eq View on Github →