Theorem fourier_apply

Modification history

2023-11-17 05:53
Mathlib/Analysis/Fourier/AddCircle.lean
chore: bump to v4.3.0-rc2 (#8366) …
Modified fourier_applyView on Github →
2023-06-20 10:20
Mathlib/Analysis/Fourier/AddCircle.lean
port Analysis.Fourier.AddCircle (#5273)
Added fourier_applyView on Github →