`BookProof.ChapterSphericalBessel.sbessel_one_eq` {r : ℝ} (hr : r ≠ 0) : sbessel 1 r = sj1 r

Initializing...

`BookProof.ChapterSphericalBessel.sbessel_one_eq` {r : ℝ} (hr : r ≠ 0) : sbessel 1 r = sj1 r · Prove2Me