Registry · Theorem V.T30 tau-effective formalized

V.T30 — Light deflection from tau-Einstein

The tau-Einstein equation predicts light deflection delta theta = 4GM/(bc^2) with G = (c^3/hbar) iota_tau^2. For light grazing the solar limb (b = R_sun), this reproduces the standard GR prediction of 1.75 arcseconds, confirmed by Eddington (1919) and modern observations.

Book V Part 2 Ch. 14

Dependency Graph

Depends on (5)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.LightDeflectionFromTaueinstein