theorem MeasureTheory.aeMeasurable_withDensity_inv {f : NNReal → ENNReal} (hf : AEMeasurable f volume) : AEMeasurable f (volume.withDensity fun (t : NNReal) => (↑t)⁻¹)