`BookProof.ChapterSphericalPlancherel.sineKernel_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) : ∫ p in Ioi (0 : ℝ), ‖sineKernelTransform (⇑G) p‖ ^ 2 = (π / 2) * ∫ x...

Initializing...

`BookProof.ChapterSphericalPlancherel.sineKernel_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) : ∫ p in Ioi (0 : ℝ), ‖sineKernelTransform (⇑G) p‖ ^ 2 = (π / 2) * ∫ x... · Prove2Me