`BookProof.NavierStokesFlow.FockLagrangian.vacState_mem_core` : vacState ∈ momFock.core

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.vacState_mem_core` : vacState ∈ momFock.core · Prove2Me