`BookProof.ChapterA3k.parity_chir1_anticomm` : parityDiag * chir1 = -(chir1 * parityDiag)

Initializing...

`BookProof.ChapterA3k.parity_chir1_anticomm` : parityDiag * chir1 = -(chir1 * parityDiag) · Prove2Me