`BookProof.NavierStokesFlow.FockLagrangian.fockR_total_level` {r : ℝ} (hr : r ≠ 0) : fockR {x

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.fockR_total_level` {r : ℝ} (hr : r ≠ 0) : fockR {x | momFock.total x = r} = 0 · Prove2Me