P
Initializing...
`BookProof.ChapterParityChirality.igamma5_sq` : igamma5 * igamma5 = -1 · Prove2Me