`BookProof.QuantumGravityFock.qgGradedFock_esa` (omega g : ℕ → ℝ) : HasZeroDeficiencyOn (lpFiniteModes GradedIdx) (qgGradedHam omega g)

Initializing...

`BookProof.QuantumGravityFock.qgGradedFock_esa` (omega g : ℕ → ℝ) : HasZeroDeficiencyOn (lpFiniteModes GradedIdx) (qgGradedHam omega g) · Prove2Me