`BookProof.ChapterSphericalBesselODE.sbessel_rayleigh_raise` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : sbessel (l + 1) r = -(r ^ l) * deriv (fun s => sbessel l s / s ^ l) r

Initializing...

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