`BookProof.ChapterA3x.tensorCube_complete_reducibility` : projSym 3 + projAnti 3 + projMixed 3 = 1 ∧ projSym 3 * projSym 3 = projSym 3 ∧ projAnti 3 * projAnti 3 = projAnti 3 ∧ proj

Initializing...

`BookProof.ChapterA3x.tensorCube_complete_reducibility` : projSym 3 + projAnti 3 + projMixed 3 = 1 ∧ projSym 3 * projSym 3 = projSym 3 ∧ projAnti 3 * projAnti 3 = projAnti 3 ∧ proj · Prove2Me