exact hf
case hf
f g : ℝ → ℂ
hf : Integrable f volume
hg : Integrable g volume
x : ℝ
⊢ Integrable (fun x => f x) volume

case hg
f g : ℝ → ℂ
hf : Integrable f volume
hg : Integrable g volume
x : ℝ
⊢ Integrable (fun x => -g x) volume
case hg
f g : ℝ → ℂ
hf : Integrable f volume
hg : Integrable g volume
x : ℝ
⊢ Integrable (fun x => -g x) volume