`BookProof.ChapterSphericalBesselODE.diffAt_deriv_sbessel` (l : ℕ) {x : ℝ} (hx : x ≠ 0) : DifferentiableAt ℝ (deriv (sbessel l)) x

Initializing...

`BookProof.ChapterSphericalBesselODE.diffAt_deriv_sbessel` (l : ℕ) {x : ℝ} (hx : x ≠ 0) : DifferentiableAt ℝ (deriv (sbessel l)) x · Prove2Me