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

Initializing...

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