Registry · Theorem V.T105 tau-effective formalized

V.T105 — Regime Invariance Theorem

The tau-Einstein equation R^H[chi_{n+1}] = kappa_tau * T[chi_n] is regime-invariant: it holds for all refinement depths n >= 1 with the same coupling kappa_tau and the same algebraic structure, because the fibered product decomposition tau^3 = tau^1 x_f T^2 is depth-independent.

Book V Part 6 Ch. 47

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.InflationRegime

Symbol: Tau.BookV.Cosmology.RegimeInvarianceTheorem