Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.exists_measurable_le_withDensity_eq
Modification history
2024-07-16 05:50
Mathlib/MeasureTheory/Measure/WithDensity.lean
feat(Measure/WithDensity): drop measurability assumption (#14736) …
Added
MeasureTheory.exists_measurable_le_withDensity_eq
View on Github →