Registry · Theorem IV.T79 tau-effective formalized

IV.T79 — Tail stabilization of vacuum energy

Tail stabilization of vacuum energy: there exists a stabilization horizon N_s such that VacE_s[n+1] = VacE_s[n] for all n >= N_s, so the omega-germ limit VacE_s[omega] = VacE_s[N_s] is a finite element of tau-Idx.

Book IV Part 5 Ch. 44

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.VacuumCatastrophe

Symbol: Tau.BookIV.Strong.TailStabilizationOfVacuumEnergy