P
Initializing...
`BookProof.ChapterA3j.chir_parity_anticomm` : chir * mgamma 0 = -(mgamma 0 * chir) · Prove2Me