`BookProof.QuantumGravityFock.qgDGamma_esa` (omega : ℕ → ℝ) : HasZeroDeficiencyOn (BookProof.NavierStokesFlow.FockOfFock.FockDom ℕ) (BookProof.NavierStokesFlow.FockOfFock.dGamma om

Initializing...

`BookProof.QuantumGravityFock.qgDGamma_esa` (omega : ℕ → ℝ) : HasZeroDeficiencyOn (BookProof.NavierStokesFlow.FockOfFock.FockDom ℕ) (BookProof.NavierStokesFlow.FockOfFock.dGamma om · Prove2Me