no goals
α : Type u_1
β : Type ?u.2693810
γ : Type ?u.2693813
γ₂ : Type ?u.2693816
δ : Type ?u.2693819
ι : Sort y
s t u : Set α
inst✝ : MeasurableSpace α
f : α → ℝ≥0
h : Measurable fun x => ↑(f x)
⊢ Measurable f
simpa only [Real.toNNReal_coe] using h.real_toNNReal