`BookProof.ChapterNote68AllModes.solidHarmonic_spherical_euclidean` {l μ : ℕ} (hμ : μ ≤ l) {r : ℝ} (hr : 0 < r) {θ : ℝ} (hθ : 0 ≤ Real.sin θ) (φ : ℝ) : solidHarmonic (stdVec 0) (st

Initializing...

`BookProof.ChapterNote68AllModes.solidHarmonic_spherical_euclidean` {l μ : ℕ} (hμ : μ ≤ l) {r : ℝ} (hr : 0 < r) {θ : ℝ} (hθ : 0 ≤ Real.sin θ) (φ : ℝ) : solidHarmonic (stdVec 0) (st · Prove2Me