P
Initializing...
`BookProof.ChapterGhostMajoranaRep.psi_not_selfAdjoint` : psi ≠ psiᴴ · Prove2Me