`BookProof.ChapterA3x.projMixed_uniform_comm` {N : ℕ} (A : Matrix (Fin 4) (Fin 4) ℂ) : projMixed N * uniform A = uniform A * projMixed N

Initializing...

`BookProof.ChapterA3x.projMixed_uniform_comm` {N : ℕ} (A : Matrix (Fin 4) (Fin 4) ℂ) : projMixed N * uniform A = uniform A * projMixed N · Prove2Me