no goals
α : Type u_2
β : Type u_1
γ : Type ?u.938698
δ : Type ?u.938701
m : MeasurableSpace α
μ ν : Measure α
inst✝² : MeasurableSpace δ
inst✝¹ : NormedAddCommGroup β
inst✝ : NormedAddCommGroup γ
⊢ Integrable fun x => 0
simp [Integrable, aestronglyMeasurable_const]