`BookProof.QgTruncationResolvent.qgOuterFock_truncation_flow_convergence` (Λ : ℕ → Set ι) (hexh : ∀ F : Finset ι, ∀ᶠ n in atTop, ∀ a ∈ F, a ∈ Λ n) : ∃ (T :...

Initializing...

`BookProof.QgTruncationResolvent.qgOuterFock_truncation_flow_convergence` (Λ : ℕ → Set ι) (hexh : ∀ F : Finset ι, ∀ᶠ n in atTop, ∀ a ∈ F, a ∈ Λ n) : ∃ (T :... · Prove2Me