Commit 2025-10-28 17:00 6c193806
View on Github →chore(1000.yaml): add Fourier's theorem (#29047) Mathlib has some form of it already; while there is space for more advanced versions, let's surface the current progress already.
chore(1000.yaml): add Fourier's theorem (#29047) Mathlib has some form of it already; while there is space for more advanced versions, let's surface the current progress already.