P
Initializing...
`BookProof.ChapterA3k.parity_swaps_LL_RR` : parityDiag * projRR = projLL * parityDiag · Prove2Me