`BookProof.QuantumGravityFock.qgGradedFock_stone_flow` (omega g : ℕ → ℝ) : ∃ (T : UnboundedSelfAdjoint (lp (fun _ : GradedIdx => ℂ) 2)) (U : ℝ → (lp (fun _ : GradedIdx => ℂ) 2 →L[ℂ

Initializing...

`BookProof.QuantumGravityFock.qgGradedFock_stone_flow` (omega g : ℕ → ℝ) : ∃ (T : UnboundedSelfAdjoint (lp (fun _ : GradedIdx => ℂ) 2)) (U : ℝ → (lp (fun _ : GradedIdx => ℂ) 2 →L[ℂ · Prove2Me