`BookProof.NavierStokesFlow.MomentumPerturbation.linSymbol_ge_one` (k : ℕ) : 1 ≤ linSymbol k

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.linSymbol_ge_one` (k : ℕ) : 1 ≤ linSymbol k · Prove2Me