`BookProof.ChapterSolidHarmonic.norm_spherePt_inc` {r : ℝ} (hr : 0 ≤ r) (θ φ : ℝ) : ‖spherePt u v e r θ φ‖ = r

Initializing...

`BookProof.ChapterSolidHarmonic.norm_spherePt_inc` {r : ℝ} (hr : 0 ≤ r) (θ φ : ℝ) : ‖spherePt u v e r θ φ‖ = r · Prove2Me