`BookProof.ChapterSphericalBessel.deriv_sbesselBase` {r : ℝ} (hr : r ≠ 0) : deriv sbesselBase r = Real.cos r / r

Initializing...

`BookProof.ChapterSphericalBessel.deriv_sbesselBase` {r : ℝ} (hr : r ≠ 0) : deriv sbesselBase r = Real.cos r / r - Real.sin r / r ^ 2 · Prove2Me