Commit 2025-11-18 20:14 bcdf2b70

View on Github →

chore(Analysis/Fourier): rename theorems (#31687)

Estimated changes

deleted theorem Real.fourierIntegral_eq'
deleted theorem Real.fourierIntegral_eq
added theorem Real.fourierInv_comm
added theorem Real.fourierInv_eq'
added theorem Real.fourierInv_eq
added theorem Real.fourier_eq'
added theorem Real.fourier_eq
added theorem Real.fourier_real_eq
added theorem Real.contDiff_fourier
added theorem Real.deriv_fourier
added theorem Real.fderiv_fourier
added theorem Real.fourier_deriv
added theorem Real.fourier_fderiv
added theorem mellinInv_mellin_eq
added theorem mellin_eq_fourier
deleted theorem mellin_eq_fourierIntegral
deleted theorem mellin_inversion
added theorem fourier_gaussian_pi'
added theorem fourier_gaussian_pi