`BookProof.NavierStokesFlow.matrixFlow_neg_hasDerivAt` (A : Matrix (Fin n) (Fin n) ℂ) (t : ℝ) : HasDerivAt (fun s : ℝ => matrixFlow A (-s)) (-(matrixFlow A (-t) * A)) t

Initializing...

`BookProof.NavierStokesFlow.matrixFlow_neg_hasDerivAt` (A : Matrix (Fin n) (Fin n) ℂ) (t : ℝ) : HasDerivAt (fun s : ℝ => matrixFlow A (-s)) (-(matrixFlow A (-t) * A)) t · Prove2Me