Registry · Theorem V.T78 tau-effective formalized

V.T78 — Newtonian Limit --- V.T30

The tau-Einstein equation under weak-field, slow-motion, and negligible capacity-gradient conditions reduces to the Poisson equation with G = (c^3/hbar) iota_tau^2, recovering the Newtonian inverse-square law F = -GmM r-hat / r^2.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (7)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.ClassicalIllusion

Symbol: Tau.BookV.Astrophysics.NewtonianLimitVt30