`BookProof.ChapterSolidHarmonicTools.laplacian_sum` {ι : Type*} (s : Finset ι) (f : ι → E → ℝ) (x : E) (hf : ∀ i ∈ s, ContDiffAt ℝ 2 (f i) x) : (Δ fun y => ∑ i ∈ s, f i y) x...

Initializing...

`BookProof.ChapterSolidHarmonicTools.laplacian_sum` {ι : Type*} (s : Finset ι) (f : ι → E → ℝ) (x : E) (hf : ∀ i ∈ s, ContDiffAt ℝ 2 (f i) x) : (Δ fun y => ∑ i ∈ s, f i y) x... · Prove2Me