`BookProof.NavierStokesFlow.LagrangianNS.flowUnitary_group` (s t : ℝ) : L.flowUnitary (s + t) = L.flowUnitary s * L.flowUnitary t

Initializing...

`BookProof.NavierStokesFlow.LagrangianNS.flowUnitary_group` (s t : ℝ) : L.flowUnitary (s + t) = L.flowUnitary s * L.flowUnitary t · Prove2Me