P
Initializing...
`BookProof.ChapterA3m.swap12_parityDiag_comm` : swap12 * parityDiag3 = parityDiag3 * swap12 · Prove2Me