P
Initializing...
`BookProof.NavierStokesFlow.FockLagrangian.norm_vacState` : ‖vacState‖ = 1 · Prove2Me