`BookProof.NavierStokesFlow.Carleman.linearFullData_eq` : linearFullData = halfLineFullData linearMode 1

Initializing...

`BookProof.NavierStokesFlow.Carleman.linearFullData_eq` : linearFullData = halfLineFullData linearMode 1 · Prove2Me