`BookProof.ChapterSphericalPlancherel.sine_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) : ∫ w in Ioi (0 : ℝ), ‖sineTransform (⇑G) w‖ ^ 2 = (1 / 4) * ∫ x in Ioi (0...

Initializing...

`BookProof.ChapterSphericalPlancherel.sine_plancherel` (G : 𝓢(ℝ, ℂ)) (hodd : ∀ x, G (-x) = -G x) : ∫ w in Ioi (0 : ℝ), ‖sineTransform (⇑G) w‖ ^ 2 = (1 / 4) * ∫ x in Ioi (0... · Prove2Me