no goals
α : Type u_1
β : Type ?u.294661
γ : Type ?u.294664
δ : Type ?u.294667
m : MeasurableSpace α
μ ν : Measure α
f g : α → ℝ≥0∞
h : ∀ (a : α), f a = g a
⊢ (∫⁻ (a : α), f a ∂μ) = ∫⁻ (a : α), g a ∂μ
simp only [h]