`BookProof.ChapterA3j.projChirL_parity_commutator` : projChirL * mgamma 0 - mgamma 0 * projChirL = Complex.I • (mgamma 0 * chir)

Initializing...

`BookProof.ChapterA3j.projChirL_parity_commutator` : projChirL * mgamma 0 - mgamma 0 * projChirL = Complex.I • (mgamma 0 * chir) · Prove2Me