`BookProof.NavierStokesFlow.LagrangianEsa.LagrangianFullData.hFull_decomposition` : L.hFull = L.kinetic + L.viscous + L.drift + L.constraintOp

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.LagrangianFullData.hFull_decomposition` : L.hFull = L.kinetic + L.viscous + L.drift + L.constraintOp · Prove2Me