P
Initializing...
`BookProof.ChapterGhostMajoranaRep.chi2_selfAdjoint` : chi2ᴴ = chi2 · Prove2Me