`BookProof.NavierStokesFlow.matrixFlow_vec_hasDerivAt` (A : Matrix (Fin n) (Fin n) ℂ) (x : Fin n → ℂ) (t : ℝ) : HasDerivAt (fun s : ℝ => matrixFlow A s *ᵥ x) (A *ᵥ (matrixFlow A t

Initializing...

`BookProof.NavierStokesFlow.matrixFlow_vec_hasDerivAt` (A : Matrix (Fin n) (Fin n) ℂ) (x : Fin n → ℂ) (t : ℝ) : HasDerivAt (fun s : ℝ => matrixFlow A s *ᵥ x) (A *ᵥ (matrixFlow A t · Prove2Me