`BookProof.ChapterAngularMomentum.circHarm_abs` {μ : ℕ} {z : ℂ} (hz : z ≠ 0) : ‖circHarm μ z‖ = 1

Initializing...

`BookProof.ChapterAngularMomentum.circHarm_abs` {μ : ℕ} {z : ℂ} (hz : z ≠ 0) : ‖circHarm μ z‖ = 1 · Prove2Me