Registry · Remark IV.R103 tau-effective not_applicable

IV.R103 — Global stabilization

Global stabilization: each of the four sectors has a stabilization horizon N_B, N_A, N_C, N_D, and the total vacuum energy rho_vac^(tau) = sum VacE_S[omega] stabilizes beyond N^* = max(N_B, N_A, N_C, N_D).

Book IV Part 5 Ch. 44

Lean Formalization

Module:

Symbol: