mathlib

38f16f96 - feat(analysis/fourier): Poisson summation for polynomially-decaying functions (#18556)

feat(analysis/fourier): Poisson summation for polynomially-decaying functions (#18556) This PR proves some alternate formulations of Poisson's summation formula with less general, but simpler-to-verify, hypotheses.