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

State before:
f : ℝ → ℂ
N : ℕ
⊢ UniformContinuous (partialFourierSum f N)
Tactic:
sorry
State after:
no goals