P
Initializing...
`BookProof.ChapterA3u.trace_projSym_five` : Matrix.trace (projSym 5) = 56 · Prove2Me