`BookProof.ChapterLaplacianProduct.helmholtz_radial_mul_harmonic` [FiniteDimensional ℝ E] {g : ℝ → ℝ} {H : E → ℝ} {x : E} {l : ℕ} {p : ℝ} (hx : x ≠ 0) (hg : ContDiffAt ℝ 2 g...

Initializing...

`BookProof.ChapterLaplacianProduct.helmholtz_radial_mul_harmonic` [FiniteDimensional ℝ E] {g : ℝ → ℝ} {H : E → ℝ} {x : E} {l : ℕ} {p : ℝ} (hx : x ≠ 0) (hg : ContDiffAt ℝ 2 g... · Prove2Me