`BookProof.ChapterBesselHarmonic.reduced_radial_sbessel` (l : ℕ) {p r : ℝ} (hp : p ≠ 0) (hr : r ≠ 0) : deriv (deriv fun s => sbessel l (p * s) / s ^ l) r + ((2 + 2 * (l : ℝ)) / r)

Initializing...

`BookProof.ChapterBesselHarmonic.reduced_radial_sbessel` (l : ℕ) {p r : ℝ} (hp : p ≠ 0) (hr : r ≠ 0) : deriv (deriv fun s => sbessel l (p * s) / s ^ l) r + ((2 + 2 * (l : ℝ)) / r) · Prove2Me