`BookProof.ChapterSphericalPlancherel.sineKernelTransform_eq` (G : ℝ → ℂ) (p : ℝ) : sineKernelTransform G p = sineTransform G ((2 * π)⁻¹ * p)

Initializing...

`BookProof.ChapterSphericalPlancherel.sineKernelTransform_eq` (G : ℝ → ℂ) (p : ℝ) : sineKernelTransform G p = sineTransform G ((2 * π)⁻¹ * p) · Prove2Me