`BookProof.ChapterSphericalPlancherel.oddBump_odd` (x : ℝ) : oddBump (-x) = -oddBump x

Initializing...

`BookProof.ChapterSphericalPlancherel.oddBump_odd` (x : ℝ) : oddBump (-x) = -oddBump x · Prove2Me