`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_commForm_bound` (c : ι → ℝ) (hc : ∀ k, 1 ≤ c k) (u w : maxDom c) (x : maxDom c) : |commForm (pertHam c (u : L2I ι) (w : L2I

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_commForm_bound` (c : ι → ℝ) (hc : ∀ k, 1 ≤ c k) (u w : maxDom c) (x : maxDom c) : |commForm (pertHam c (u : L2I ι) (w : L2I · Prove2Me