Registry · Proposition V.P40 tau-effective formalized

V.P40 — No Lambda in the tau-Einstein equation

No Lambda in the tau-Einstein equation: R^H = kappa_tau T contains no cosmological constant (Lambda = 0); the acceleration is a time-dependent phenomenon from the defect-to-refinement transition, not a constant vacuum energy term.

Book V Part 3 Ch. 26

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.NoLambdaInTheTaueinsteinEquation