P
Initializing...
`BookProof.ChapterParity.mgamma0_sq` : mgamma 0 * mgamma 0 = -1 · Prove2Me