`BookProof.ChapterSphericalBessel.sj0_satisfies_ode` {r : ℝ} (hr : r ≠ 0) : r ^ 2 * deriv (deriv sj0) r + 2 * r * deriv sj0 r + r ^ 2 * sj0 r = 0

Initializing...

`BookProof.ChapterSphericalBessel.sj0_satisfies_ode` {r : ℝ} (hr : r ≠ 0) : r ^ 2 * deriv (deriv sj0) r + 2 * r * deriv sj0 r + r ^ 2 * sj0 r = 0 · Prove2Me