Registry · Theorem
IV.T271
tau-effective
not_formalized
IV.T271 — Finite Structural Vacuum Energy
The vacuum energy on tau3 is finite and structurally determined: equation E_vac(tau3) = E_boundary(f_0)
Book IV
Part 4
Ch. 33