Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-13 18:58
cb7342d7
View on Github →
chore: use FourierTransformCLM for Poisson formula (
#18477
)
Estimated changes
Modified
Mathlib/Analysis/Fourier/PoissonSummation.lean
modified
theorem
SchwartzMap.tsum_eq_tsum_fourierIntegral