`BookProof.NavierStokesFlow.FockLagrangian.tailState_not_mem_core` : tailState ∉ momFock.core

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.tailState_not_mem_core` : tailState ∉ momFock.core · Prove2Me