`BookProof.ChapterAngularMomentum.circHarm_differentiableAt` {μ : ℕ} {z : ℂ} (hz : z ≠ 0) : DifferentiableAt ℝ (circHarm μ) z

Initializing...

`BookProof.ChapterAngularMomentum.circHarm_differentiableAt` {μ : ℕ} {z : ℂ} (hz : z ≠ 0) : DifferentiableAt ℝ (circHarm μ) z · Prove2Me