`BookProof.ChapterA3j.parity_swaps_chirR` : projChirR * mgamma 0 = mgamma 0 * projChirL

Initializing...

`BookProof.ChapterA3j.parity_swaps_chirR` : projChirR * mgamma 0 = mgamma 0 * projChirL · Prove2Me