`BookProof.ChapterSphericalBessel.rayleigh_raise_01` {r : ℝ} (hr : r ≠ 0) : sj1 r = -deriv sj0 r

Initializing...

`BookProof.ChapterSphericalBessel.rayleigh_raise_01` {r : ℝ} (hr : r ≠ 0) : sj1 r = -deriv sj0 r · Prove2Me