`BookProof.ChapterA3u.trace_decomposition_five` : Matrix.trace (projSym 5) + Matrix.trace (projAnti 5) + Matrix.trace (projMixed 5) = 1024

Initializing...

`BookProof.ChapterA3u.trace_decomposition_five` : Matrix.trace (projSym 5) + Matrix.trace (projAnti 5) + Matrix.trace (projMixed 5) = 1024 · Prove2Me