P
Initializing...
`BookProof.ChapterA3r.trace_projAnti_two` : Matrix.trace (projAnti 2) = 6 · Prove2Me