Theorem: dirichletKernel'_periodic (Carleson/Theorem1_1/Dirichlet_kernel.lean)

State before:
N : ℕ
⊢ Function.Periodic (dirichletKernel' N) (2 * Real.pi)
Tactic:
sorry
State after:
no goals