`BookProof.ChapterSphericalPlancherel.oddSchwartz_apply` (x : ℝ) : oddSchwartz x = oddBump x

Initializing...

`BookProof.ChapterSphericalPlancherel.oddSchwartz_apply` (x : ℝ) : oddSchwartz x = oddBump x · Prove2Me