`BookProof.ChapterSphericalPlancherel.spherical_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) (f : ℝ → ℂ) (hf : ∀ r ∈ Ioi (0 : ℝ), (r : ℂ) * f r = G r) : ∫ p in...

Initializing...

`BookProof.ChapterSphericalPlancherel.spherical_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) (f : ℝ → ℂ) (hf : ∀ r ∈ Ioi (0 : ℝ), (r : ℂ) * f r = G r) : ∫ p in... · Prove2Me