`BookProof.ChapterWignerSymmetry.eq_norm_of_re_eq_norm` {z : ℂ} (h : z.re = ‖z‖) : z = (‖z‖ : ℂ)

Initializing...

`BookProof.ChapterWignerSymmetry.eq_norm_of_re_eq_norm` {z : ℂ} (h : z.re = ‖z‖) : z = (‖z‖ : ℂ) · Prove2Me