theorem Measurable.withDensity {α : Type u_1} {mα : MeasurableSpace α} {f : α → ENNReal} (hf : Measurable f) : Measurable fun (μ : MeasureTheory.Measure α) => μ.withDensity f