`BookProof.ChapterRadialLaplacian.diffAt_deriv_of_contDiffAt_two` {G : ℝ → ℝ} {q : ℝ} (h : ContDiffAt ℝ 2 G q) : DifferentiableAt ℝ (deriv G) q

Initializing...

`BookProof.ChapterRadialLaplacian.diffAt_deriv_of_contDiffAt_two` {G : ℝ → ℝ} {q : ℝ} (h : ContDiffAt ℝ 2 G q) : DifferentiableAt ℝ (deriv G) q · Prove2Me