`BookProof.ChapterSolidHarmonic.angular_harmonic` {u v : E} (hu : ‖u‖ = 1) (hv : ‖v‖ = 1) (huv : ⟪u, v⟫_ℝ = 0) (μ : ℕ) (x : E) : (Δ (angular u v μ)) x = 0

Initializing...

`BookProof.ChapterSolidHarmonic.angular_harmonic` {u v : E} (hu : ‖u‖ = 1) (hv : ‖v‖ = 1) (huv : ⟪u, v⟫_ℝ = 0) (μ : ℕ) (x : E) : (Δ (angular u v μ)) x = 0 · Prove2Me