`BookProof.ChapterRadialLaplacian.helmholtz_sbessel_zero_euclidean` {p : ℝ} {x : EuclideanSpace ℝ (Fin 3)} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : EuclideanSpace ℝ (Fin 3) => sbess

Initializing...

`BookProof.ChapterRadialLaplacian.helmholtz_sbessel_zero_euclidean` {p : ℝ} {x : EuclideanSpace ℝ (Fin 3)} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : EuclideanSpace ℝ (Fin 3) => sbess · Prove2Me