`BookProof.NavierStokesFlow.nsFlowUnitary_eq_matrixFlow` (t : ℝ) : nsFlowUnitary d t = matrixFlow (Complex.I • nsHamiltonian d) t

Initializing...

`BookProof.NavierStokesFlow.nsFlowUnitary_eq_matrixFlow` (t : ℝ) : nsFlowUnitary d t = matrixFlow (Complex.I • nsHamiltonian d) t · Prove2Me