P
Initializing...
`BookProof.ChapterGhostMajoranaRep.chi1_selfAdjoint` : chi1ᴴ = chi1 · Prove2Me