P
Initializing...
`BookProof.NavierStokesFlow.FockLagrangian.momFock_core_ne_top` : momFock.core ≠ ⊤ · Prove2Me