`BookProof.ChapterSphericalBesselODE.sbessel_eq` (l : ℕ) (r : ℝ) : sbessel l r = r ^ l * gIter l r

Initializing...

`BookProof.ChapterSphericalBesselODE.sbessel_eq` (l : ℕ) (r : ℝ) : sbessel l r = r ^ l * gIter l r · Prove2Me