`BookProof.ChapterSphericalBesselODE.hasDerivAt_sbesselBase` {x : ℝ} (hx : x ≠ 0) : HasDerivAt sbesselBase (Real.cos x / x

Initializing...

`BookProof.ChapterSphericalBesselODE.hasDerivAt_sbesselBase` {x : ℝ} (hx : x ≠ 0) : HasDerivAt sbesselBase (Real.cos x / x - Real.sin x / x ^ 2) x · Prove2Me