Theorem mellin_eq_fourierIntegral

Modification history

2025-11-18 20:14

Mathlib/Analysis/MellinInversion.lean

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

Deleted mellin_eq_fourierIntegral View on Github →

2024-03-13 20:53

Mathlib/Analysis/MellinInversion.lean

feat: relationship between Mellin transform/inverse and Fourier transform/inverse (#10944)

Added mellin_eq_fourierIntegral View on Github →