`BookProof.ChapterSphericalPlancherel.sphericalTransform_eq` {f : ℝ → ℂ} {G : ℝ → ℂ} (hf : ∀ r ∈ Ioi (0 : ℝ), (r : ℂ) * f r = G r) {p : ℝ} (hp : 0 < p) : sphericalTransform...

Initializing...

`BookProof.ChapterSphericalPlancherel.sphericalTransform_eq` {f : ℝ → ℂ} {G : ℝ → ℂ} (hf : ∀ r ∈ Ioi (0 : ℝ), (r : ℂ) * f r = G r) {p : ℝ} (hp : 0 < p) : sphericalTransform... · Prove2Me