`BookProof.ChapterBesselHarmonic.helmholtz_sbessel_one_clm` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) (L : E →L[ℝ] ℝ) {x : E} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fu

Initializing...

`BookProof.ChapterBesselHarmonic.helmholtz_sbessel_one_clm` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) (L : E →L[ℝ] ℝ) {x : E} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) : -(Δ fu · Prove2Me