`BookProof.NavierStokesFlow.matrixFlow_comm` (A : Matrix (Fin n) (Fin n) ℂ) (t : ℝ) : matrixFlow A t * A = A * matrixFlow A t

Initializing...

`BookProof.NavierStokesFlow.matrixFlow_comm` (A : Matrix (Fin n) (Fin n) ℂ) (t : ℝ) : matrixFlow A t * A = A * matrixFlow A t · Prove2Me