`BookProof.ChapterSolidHarmonic.contDiff_solidHarmonicIm` (u v e : E) (l μ : ℕ) : ContDiff ℝ 2 (solidHarmonicIm u v e l μ)

Initializing...

`BookProof.ChapterSolidHarmonic.contDiff_solidHarmonicIm` (u v e : E) (l μ : ℕ) : ContDiff ℝ 2 (solidHarmonicIm u v e l μ) · Prove2Me