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

Initializing...

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