`BookProof.ChapterSphericalBesselODE.sbessel_radial_eigen` (l : ℕ) {p r : ℝ} (hp : p ≠ 0) (hr : r ≠ 0) : -(deriv (deriv (fun s => sbessel l (p * s))) r + (2 / r) * deriv (fun s =>

Initializing...

`BookProof.ChapterSphericalBesselODE.sbessel_radial_eigen` (l : ℕ) {p r : ℝ} (hp : p ≠ 0) (hr : r ≠ 0) : -(deriv (deriv (fun s => sbessel l (p * s))) r + (2 / r) * deriv (fun s => · Prove2Me