`BookProof.ChapterSphericalPlancherel.oddSchwartz_odd` (x : ℝ) : oddSchwartz (-x) = -oddSchwartz x

Initializing...

`BookProof.ChapterSphericalPlancherel.oddSchwartz_odd` (x : ℝ) : oddSchwartz (-x) = -oddSchwartz x · Prove2Me