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