Theorem fourier_zero'

Modification history

2025-10-21 15:08

Mathlib/Analysis/Fourier/AddCircle.lean

chore(Analysis/Fourier): golf entire `fourier_zero` and `fourier_zero'` using `simp` (#28260)

Modified fourier_zero'View on Github →

2023-06-20 10:20

Mathlib/Analysis/Fourier/AddCircle.lean

port Analysis.Fourier.AddCircle (#5273)

Added fourier_zero'View on Github →