`BookProof.ChapterA3q.projSym_add_projAnti_add_projMixed` (N : ℕ) : projSym N + projAnti N + projMixed N = 1

Initializing...

`BookProof.ChapterA3q.projSym_add_projAnti_add_projMixed` (N : ℕ) : projSym N + projAnti N + projMixed N = 1 · Prove2Me