`BookProof.ChapterSphericalBessel.sbessel_two_eq` {r : ℝ} (hr : r ≠ 0) : sbessel 2 r = sj2 r

Initializing...

`BookProof.ChapterSphericalBessel.sbessel_two_eq` {r : ℝ} (hr : r ≠ 0) : sbessel 2 r = sj2 r · Prove2Me