P
Initializing...
`BookProof.ChapterGhostMajoranaRep.chi2_sq` : chi2 * chi2 = 1 · Prove2Me