Theorem MeasureTheory.measure_sdiff_null'

Modification history

2026-08-20 12:42

Mathlib/MeasureTheory/Measure/Basic.lean

chore: split too long file Measure.MeasureSpace (#42949) …

Modified MeasureTheory.measure_sdiff_null'View on Github →

2026-06-09 08:51

Mathlib/MeasureTheory/Measure/MeasureSpace.lean

chore: rename `diff` to `sdiff` (#40184) …

Added MeasureTheory.measure_sdiff_null'View on Github →