P
Initializing...
`BookProof.ChapterA3l.swap_projRR_comm` : swap * projRR = projRR * swap · Prove2Me