`BookProof.NavierStokesFlow.Carleman.linearFull_hasZeroDeficiencyOn` : HasZeroDeficiencyOn linearFullData.D linearFullData.hamiltonian

Initializing...

`BookProof.NavierStokesFlow.Carleman.linearFull_hasZeroDeficiencyOn` : HasZeroDeficiencyOn linearFullData.D linearFullData.hamiltonian · Prove2Me