`BookProof.NavierStokesFlow.FockLagrangian.momFock_hasZeroDeficiencyOn` : HasZeroDeficiencyOn momFock.data.D momFock.data.hFull

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.momFock_hasZeroDeficiencyOn` : HasZeroDeficiencyOn momFock.data.D momFock.data.hFull · Prove2Me