`BookProof.QuantumGravityFock.qgGradedSymbol_oneGhost` (omega g : ℕ → ℝ) (a : ℕ) : qgGradedSymbol omega g (0, ({a} : FermConf)) = g a

Initializing...

`BookProof.QuantumGravityFock.qgGradedSymbol_oneGhost` (omega g : ℕ → ℝ) (a : ℕ) : qgGradedSymbol omega g (0, ({a} : FermConf)) = g a · Prove2Me