P
Initializing...
`BookProof.ChapterA3u.trace_projAnti_five` : Matrix.trace (projAnti 5) = 0 · Prove2Me