P
Initializing...
`BookProof.ChapterA3m.swap23_parityDiag_comm` : swap23 * parityDiag3 = parityDiag3 * swap23 · Prove2Me