`BookProof.ChapterSphericalBesselODE.diffAt_gIter` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : DifferentiableAt ℝ (gIter l) r

Initializing...

`BookProof.ChapterSphericalBesselODE.diffAt_gIter` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : DifferentiableAt ℝ (gIter l) r · Prove2Me