`BookProof.ChapterSphericalPlancherel.sineTransform_odd` (G : ℝ → ℂ) (w : ℝ) : sineTransform G (-w) = -sineTransform G w

Initializing...

`BookProof.ChapterSphericalPlancherel.sineTransform_odd` (G : ℝ → ℂ) (w : ℝ) : sineTransform G (-w) = -sineTransform G w · Prove2Me