`BookProof.NavierStokesFlow.Carleman.linearFullData_symbol` : halfLineSymbol linearMode 1 = fun m : ℕ => (m : ℝ) + 1

Initializing...

`BookProof.NavierStokesFlow.Carleman.linearFullData_symbol` : halfLineSymbol linearMode 1 = fun m : ℕ => (m : ℝ) + 1 · Prove2Me