`BookProof.ChapterSphericalBesselODE.gIter_ode` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : r * deriv (deriv (gIter l)) r + (2 * l + 2) * deriv (gIter l) r + r * gIter l r = 0

Initializing...

`BookProof.ChapterSphericalBesselODE.gIter_ode` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : r * deriv (deriv (gIter l)) r + (2 * l + 2) * deriv (gIter l) r + r * gIter l r = 0 · Prove2Me