`BookProof.ChapterSolidHarmonic.contDiff_cylTerm` (e : E) (j m : ℕ) : ContDiff ℝ 2 fun y : E => (⟪e, y⟫_ℝ) ^ j * (‖y‖ ^ 2) ^ m

Initializing...

`BookProof.ChapterSolidHarmonic.contDiff_cylTerm` (e : E) (j m : ℕ) : ContDiff ℝ 2 fun y : E => (⟪e, y⟫_ℝ) ^ j * (‖y‖ ^ 2) ^ m · Prove2Me