`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_ge_one` (n : ℕ → ℝ) (hn : ∀ k, 0 ≤ n k) (a : Config) : 1 ≤ fockSymbol n a

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_ge_one` (n : ℕ → ℝ) (hn : ∀ k, 0 ≤ n k) (a : Config) : 1 ≤ fockSymbol n a · Prove2Me