`BookProof.ChapterGhostMajoranaRep.psiDag_of_chi` : psiDag = (2 : ℂ)⁻¹ • (chi1 + Complex.I • chi2)

Initializing...

`BookProof.ChapterGhostMajoranaRep.psiDag_of_chi` : psiDag = (2 : ℂ)⁻¹ • (chi1 + Complex.I • chi2) · Prove2Me