Theorem MeasureTheory.withDensity_eq_zero
Modification history
2024-07-12 23:56
Mathlib/MeasureTheory/Measure/WithDensity.lean
feat(MeasureTheory): drop measurability assumptions here and there (#14680)
Deleted MeasureTheory.withDensity_eq_zeroView on Github →