`BookProof.ChapterGhostMajoranaRep.psi_of_chi` : psi = (2 : ℂ)⁻¹ • (chi1

Initializing...

`BookProof.ChapterGhostMajoranaRep.psi_of_chi` : psi = (2 : ℂ)⁻¹ • (chi1 - Complex.I • chi2) · Prove2Me