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

Initializing...

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