`BookProof.ChapterSphericalBesselODE.sbessel_recurrence` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : sbessel l r + sbessel (l + 2) r = ((2 * (l + 1) + 1) / r) * sbessel (l + 1) r

Initializing...

`BookProof.ChapterSphericalBesselODE.sbessel_recurrence` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : sbessel l r + sbessel (l + 2) r = ((2 * (l + 1) + 1) / r) * sbessel (l + 1) r · Prove2Me