simp_rw [sub_eq_add_neg]
f g : ℝ → ℂ
hf : Integrable f volume
hg : Integrable g volume
x : ℝ
⊢ 𝓕 (fun x => f x - g x) x = 𝓕 f x - 𝓕 g x
f g : ℝ → ℂ
hf : Integrable f volume
hg : Integrable g volume
x : ℝ
⊢ 𝓕 (fun x => f x + -g x) x = 𝓕 f x + -𝓕 g x