`BookProof.NavierStokesFlow.FockLagrangian.norm_bigState` (K : ℝ) : ‖bigState K‖ = 1

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.norm_bigState` (K : ℝ) : ‖bigState K‖ = 1 · Prove2Me