P
Initializing...
`BookProof.ChapterParityHypercharge.hyperPhase_zero` : hyperPhase 0 = 1 · Prove2Me