Revision #2574 → #3232 · back to history
modifiedFourier synthesisb8f02ad8b7f9
| Field | From #2574 | To #3232 |
|---|
| mathlib.decl | MeasureTheory.Integrable.fourier_inversion | MeasureTheory.Integrable.fourierInv_fourier_eq |
| provenance | ai | ai-moderated |
modifiedContinuous-time Fourier transform formulae2fae32fbea2
| Field | From #2574 | To #3232 |
|---|
| mathlib.decl | Real.fourierIntegral | Fourier.fourierIntegral |
| provenance | ai | ai-moderated |
modifiedInverse Fourier transform formula2670006f8dc9
| Field | From #2574 | To #3232 |
|---|
| mathlib.decl | Real.fourierIntegralInv | FourierTransformInv.fourierInv |
| provenance | ai | ai-moderated |