P
Initializing...
`BookProof.ChapterParityChirality.QLProj_idem` : QLProj * QLProj = QLProj · Prove2Me