`BookProof.ChapterA3r.trace_decomposition_two` : Matrix.trace (projSym 2) + Matrix.trace (projAnti 2) + Matrix.trace (projMixed 2) = 16

Initializing...

`BookProof.ChapterA3r.trace_decomposition_two` : Matrix.trace (projSym 2) + Matrix.trace (projAnti 2) + Matrix.trace (projMixed 2) = 16 · Prove2Me