`BookProof.QuantumGravityFock.qgTwoLevel_esa` (ext eps : ℕ → ℝ) : HasZeroDeficiencyOn (BookProof.NavierStokesFlow.FockOfFock.FockOfFockDom ℕ ℕ) (BookProof.NavierStokesFlow.FockOfFo

Initializing...

`BookProof.QuantumGravityFock.qgTwoLevel_esa` (ext eps : ℕ → ℝ) : HasZeroDeficiencyOn (BookProof.NavierStokesFlow.FockOfFock.FockOfFockDom ℕ ℕ) (BookProof.NavierStokesFlow.FockOfFo · Prove2Me