P
Initializing...
`BookProof.ChapterA3r.trace_projSym_two` : Matrix.trace (projSym 2) = 10 · Prove2Me