`BookProof.ChapterRadialLaplacian.laplacian_radial` [FiniteDimensional ℝ E] {g : ℝ → ℝ} {x : E} (hx : x ≠ 0) (hg : ContDiffAt ℝ 2 g ‖x‖) : (Δ fun y : E => g ‖y‖) x = deriv...

Initializing...

`BookProof.ChapterRadialLaplacian.laplacian_radial` [FiniteDimensional ℝ E] {g : ℝ → ℝ} {x : E} (hx : x ≠ 0) (hg : ContDiffAt ℝ 2 g ‖x‖) : (Δ fun y : E => g ‖y‖) x = deriv... · Prove2Me