`BookProof.ChapterSolidHarmonic.inner_e_spherePt_inc` (r θ φ : ℝ) : ⟪e, spherePt u v e r θ φ⟫_ℝ = r * Real.cos θ

Initializing...

`BookProof.ChapterSolidHarmonic.inner_e_spherePt_inc` (r θ φ : ℝ) : ⟪e, spherePt u v e r θ φ⟫_ℝ = r * Real.cos θ · Prove2Me