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

Initializing...

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