`BookProof.ChapterA3k.parity_chir2_anticomm` : parityDiag * chir2 = -(chir2 * parityDiag)

Initializing...

`BookProof.ChapterA3k.parity_chir2_anticomm` : parityDiag * chir2 = -(chir2 * parityDiag) · Prove2Me