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