`BookProof.ChapterSolidHarmonicTools.contDiff_clmPow` (ψ : E →L[ℝ] ℂ) (k : ℕ) : ContDiff ℝ 2 fun y : E => (ψ y) ^ k

Initializing...

`BookProof.ChapterSolidHarmonicTools.contDiff_clmPow` (ψ : E →L[ℝ] ℂ) (k : ℕ) : ContDiff ℝ 2 fun y : E => (ψ y) ^ k · Prove2Me