`BookProof.NavierStokesFlow.FockLagrangian.tailStep_subset` (k : ℕ) : tailStep k ⊆ tailFockSet

Initializing...

`BookProof.NavierStokesFlow.FockLagrangian.tailStep_subset` (k : ℕ) : tailStep k ⊆ tailFockSet · Prove2Me