Theorem nullMeasurableSet_regionBetween

Modification history

2023-09-13 14:54

Mathlib/MeasureTheory/Measure/Lebesgue/Basic.lean

chore: generalize layercake formulas to null-measurable and a.e.-nonnegative functions (#6936) …

Added nullMeasurableSet_regionBetween View on Github →