`BookProof.ChapterSphericalBesselODE.hasDerivAt_sbessel_scaled` (l : ℕ) {p x : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : HasDerivAt (fun s : ℝ => sbessel l (p * s)) (deriv (sbessel l) (p * x)

Initializing...

`BookProof.ChapterSphericalBesselODE.hasDerivAt_sbessel_scaled` (l : ℕ) {p x : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : HasDerivAt (fun s : ℝ => sbessel l (p * s)) (deriv (sbessel l) (p * x) · Prove2Me