`BookProof.ChapterA3j.chirality_not_parity_invariant` : projChirL * mgamma 0 ≠ mgamma 0 * projChirL

Initializing...

`BookProof.ChapterA3j.chirality_not_parity_invariant` : projChirL * mgamma 0 ≠ mgamma 0 * projChirL · Prove2Me