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

Initializing...

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