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

Initializing...

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