`BookProof.ChapterRadialLaplacian.helmholtz_sbessel_zero` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) {p : ℝ} {x : E} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : E => sbessel

Initializing...

`BookProof.ChapterRadialLaplacian.helmholtz_sbessel_zero` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) {p : ℝ} {x : E} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : E => sbessel · Prove2Me