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

State before:
n : ℤ
⊢ UniformContinuous fun x => (fourier n) ↑x
Tactic:
simp [fourier]
State after:
n : ℤ
⊢ UniformContinuous fun x => (2 * ↑Real.pi * Complex.I * ↑n * ↑x / (2 * ↑Real.pi)).exp

State before:
n : ℤ
⊢ UniformContinuous fun x => (2 * ↑Real.pi * Complex.I * ↑n * ↑x / (2 * ↑Real.pi)).exp
Tactic:
sorry
State after:
no goals