`BookProof.ChapterSphericalPlancherel.fourier_odd_eq` (G : ℝ → ℂ) (hG : Integrable G) (hodd : ∀ x, G (-x) = -G x) (w : ℝ) : 𝓕 G w = -(2 * Complex.I) * sineTransform G w

Initializing...

`BookProof.ChapterSphericalPlancherel.fourier_odd_eq` (G : ℝ → ℂ) (hG : Integrable G) (hodd : ∀ x, G (-x) = -G x) (w : ℝ) : 𝓕 G w = -(2 * Complex.I) * sineTransform G w · Prove2Me