`BookProof.ChapterBesselHarmonic.helmholtz_sbessel_harmonic` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) {l : ℕ} {H : E → ℝ} {x : E} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) (hH

Initializing...

`BookProof.ChapterBesselHarmonic.helmholtz_sbessel_harmonic` [FiniteDimensional ℝ E] (h3 : Module.finrank ℝ E = 3) {l : ℕ} {H : E → ℝ} {x : E} {p : ℝ} (hp : p ≠ 0) (hx : x ≠ 0) (hH · Prove2Me