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

State before:
n : ℤ
⊢ Function.Periodic (fun x => (fourier n) ↑x) (2 * Real.pi)
Tactic:
simp
State after:
no goals