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

Initializing...

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