`BookProof.ChapterNote68AllModes.helmholtz_sbessel_solidHarmonic_euclidean` {l μ : ℕ} (hμ : μ ≤ l) {x : EuclideanSpace ℝ (Fin 3)} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : Eu

Initializing...

`BookProof.ChapterNote68AllModes.helmholtz_sbessel_solidHarmonic_euclidean` {l μ : ℕ} (hμ : μ ≤ l) {x : EuclideanSpace ℝ (Fin 3)} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fun y : Eu · Prove2Me