Def mellinInv

Modification history

2024-03-13 20:53
Mathlib/Analysis/MellinTransform.lean
feat: relationship between Mellin transform/inverse and Fourier transform/inverse (#10944)
Added mellinInvView on Github →