Theorem MeasurableSet.nullMeasurableSet

Modification history

2023-05-06 11:29

Mathlib/MeasureTheory/Measure/NullMeasurable.lean

feat: port MeasureTheory.Measure.NullMeasurable (#3349)

Added MeasurableSet.nullMeasurableSet View on Github →