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

Initializing...

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