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

Initializing...

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