`BookProof.NavierStokesFlow.matrixFlow_commute_of_commute` (t : ℝ) : nsFlowUnitary d t * nsHamiltonian d = nsHamiltonian d * nsFlowUnitary d t

Initializing...

`BookProof.NavierStokesFlow.matrixFlow_commute_of_commute` (t : ℝ) : nsFlowUnitary d t * nsHamiltonian d = nsHamiltonian d * nsFlowUnitary d t · Prove2Me