`BookProof.ChapterSphericalBesselODE.gIter_succ` (l : ℕ) (r : ℝ) : gIter (l + 1) r = -(1 / r) * deriv (gIter l) r

Initializing...

`BookProof.ChapterSphericalBesselODE.gIter_succ` (l : ℕ) (r : ℝ) : gIter (l + 1) r = -(1 / r) * deriv (gIter l) r · Prove2Me