`BookProof.NavierStokesFlow.FullEsa.exists_nsFullData_not_hasZeroDeficiencyOn` : ∃ d : NSFullData L2N, ¬ HasZeroDeficiencyOn d.D d.hamiltonian

Initializing...

`BookProof.NavierStokesFlow.FullEsa.exists_nsFullData_not_hasZeroDeficiencyOn` : ∃ d : NSFullData L2N, ¬ HasZeroDeficiencyOn d.D d.hamiltonian · Prove2Me