P
Initializing...
`BookProof.ChapterGhostMajoranaRep.chi1_sq` : chi1 * chi1 = 1 · Prove2Me