P
Initializing...
`BookProof.ChapterA3k.projSum` : projLL + projLR + projRL + projRR = 1 · Prove2Me