`BookProof.NavierStokesFlow.FockOfFock.lagrangianFock_not_bounded` (nu : ℝ) (p q dr : Fin 3 → M → ℝ) (force : Fin 3 → ℝ) (cst : M → ℝ) (h : ∀ C : ℝ, ∃ m, C < |lagSymbol nu p...

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.lagrangianFock_not_bounded` (nu : ℝ) (p q dr : Fin 3 → M → ℝ) (force : Fin 3 → ℝ) (cst : M → ℝ) (h : ∀ C : ℝ, ∃ m, C < |lagSymbol nu p... · Prove2Me