Mathlib Changelog
v4
Changelog
About
Github
Def
Complex.VerticalIntegrable
Modification history
2024-03-13 20:53
Mathlib/Analysis/MellinTransform.lean
feat: relationship between Mellin transform/inverse and Fourier transform/inverse (#10944)
Added
Complex.VerticalIntegrable
View on Github →