Registry · Proposition V.P62 tau-effective formalized

V.P62 — Solar System Concordance --- V.P26

The tau-Einstein equation with kappa_tau = 1 - iota_tau and G = (c^3/hbar) iota_tau^2 reproduces all solar system precision tests: Kepler's laws, Mercury's perihelion (42.98 arcsec/century), light deflection (1.75 arcsec), and Shapiro delay.

Book V Part 5 Ch. 35

Dependency Graph

Depends on (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.KeplerSolarSystem

Symbol: Tau.BookV.Astrophysics.SolarSystemConcordanceVp26