Namespace `MellinPaleyWiener` 1 theorems

Paley–Wiener for the Mellin transform on the line MellinPaleyWiener.differentiable_and_forall_decay_and_inversion_of_contDiff_of_hasCompactSupport 1 below · cited by 5 · depth 37

Documents the Lean sources in this repository (Lean v4.33.1, Mathlib v4.33.0). Statements are quoted textually from the .lean files; dependency edges are the import Theorems.Thm_… lines of the proof modules. About these pages.

Namespace MellinPaleyWiener 1 theorems

Namespace `MellinPaleyWiener` 1 theorems