P
Initializing...
`BookProof.ChapterParityChirality.isigma3_igamma5` : isigma3 * igamma5 = chi · Prove2Me