`BookProof.ChapterA3m.projSym3_parityDiag_comm` : projSym3 * parityDiag3 = parityDiag3 * projSym3

Initializing...

`BookProof.ChapterA3m.projSym3_parityDiag_comm` : projSym3 * parityDiag3 = parityDiag3 * projSym3 · Prove2Me