`BookProof.ChapterSphericalBesselODE.sbessel_ode` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : r ^ 2 * deriv (deriv (sbessel l)) r + 2 * r * deriv (sbessel l) r + (r ^ 2

Initializing...

`BookProof.ChapterSphericalBesselODE.sbessel_ode` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : r ^ 2 * deriv (deriv (sbessel l)) r + 2 * r * deriv (sbessel l) r + (r ^ 2 - l * (l + 1)) * sbessel · Prove2Me