`BookProof.ChapterA3n.permMat_uniform_comm` {N : ℕ} (σ : Equiv.Perm (Fin N)) (A : Matrix (Fin 4) (Fin 4) ℂ) : permMat σ * uniform A = uniform A * permMat σ

Initializing...

`BookProof.ChapterA3n.permMat_uniform_comm` {N : ℕ} (σ : Equiv.Perm (Fin N)) (A : Matrix (Fin 4) (Fin 4) ℂ) : permMat σ * uniform A = uniform A * permMat σ · Prove2Me