P
Initializing...
`BookProof.ChapterA3r.trace_projMixed_two` : Matrix.trace (projMixed 2) = 0 · Prove2Me