`BookProof.ChapterSolidHarmonicTools.contDiff_normSqPow` (m : ℕ) : ContDiff ℝ 2 fun y : E => (‖y‖ ^ 2) ^ m

Initializing...

`BookProof.ChapterSolidHarmonicTools.contDiff_normSqPow` (m : ℕ) : ContDiff ℝ 2 fun y : E => (‖y‖ ^ 2) ^ m · Prove2Me