`BookProof.NavierStokesFlow.MomentumPerturbation.testState_mem_maxDom` : testState ∈ maxDom linSymbol

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.testState_mem_maxDom` : testState ∈ maxDom linSymbol · Prove2Me