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 →