`BookProof.ChapterSolidHarmonic.solidHarmonic_spherical` {l μ : ℕ} (hμ : μ ≤ l) {r : ℝ} (hr : 0 < r) {θ : ℝ} (hθ : 0 ≤ Real.sin θ) (φ : ℝ) : solidHarmonic u v e l μ (spherePt u v e

Initializing...

`BookProof.ChapterSolidHarmonic.solidHarmonic_spherical` {l μ : ℕ} (hμ : μ ≤ l) {r : ℝ} (hr : 0 < r) {θ : ℝ} (hθ : 0 ≤ Real.sin θ) (φ : ℝ) : solidHarmonic u v e l μ (spherePt u v e · Prove2Me