P
Initializing...
`BookProof.ChapterA3k.parity_swaps_LR_RL` : parityDiag * projLR = projRL * parityDiag · Prove2Me