Theorem: fourierCoeffOn_neg (Carleson/Theorem1_1/Basic.lean)

State before:
a b : ℝ
hab : a < b
f : ℝ → ℂ
n : ℤ
⊢ fourierCoeffOn hab (-f) n = -fourierCoeffOn hab f n
Tactic:
simp [fourierCoeffOn_eq_integral, fourierCoeffOn_eq_integral]
State after:
no goals