P
Initializing...
`BookProof.ChapterA3m.swap13_parityDiag_comm` : swap13 * parityDiag3 = parityDiag3 * swap13 · Prove2Me