Commit 2023-11-09 08:02 e8a32f1f

View on Github →

feat(StronglyMeasurable): add AEStronglyMeasurable.nullMeasurableSet_support (#8282)

Estimated changes

Modified Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean

added theorem MeasureTheory.AEStronglyMeasurable.nullMeasurableSet_mulSupport