P
Initializing...
`BookProof.ChapterParityQL.QLParity_sq` : QLParity * QLParity = -1 · Prove2Me