P
Initializing...
`BookProof.ChapterA3k.projLL_not_parity_invariant` : parityDiag * projLL ≠ projLL * parityDiag · Prove2Me