Registry · Theorem
IV.T68
tau-effective
formalized
IV.T68 — Truncation coherence for Γ*_s
Truncation coherence: for all n >= 3, the restriction of the strong vacuum at stage n+1 to stage n recovers the strong vacuum at stage n, i.e. Gamma_s^*[n+1]|_n = Gamma_s^*[n].
Book IV
Part 5
Ch. 37