Theorem SchwartzMap.tsum_eq_tsum_fourierIntegral
Modification history
2024-11-13 18:58
Mathlib/Analysis/Fourier/PoissonSummation.lean
chore: use FourierTransformCLM for Poisson formula (#18477)
Modified SchwartzMap.tsum_eq_tsum_fourierIntegralView on Github →