P
Initializing...
`BookProof.ChapterA3u.trace_projMixed_five` : Matrix.trace (projMixed 5) = 968 · Prove2Me