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

Initializing...

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