Registry · Definition V.D62 tau-effective formalized

V.D62 — Gravitational constant --- V.D02

The tau-gravitational constant G_tau (ch16 restatement) is defined as G_tau = R_n(x_min)/(2 M_n(x_min)), the coherence conversion invariant relating the mass index to the major radius index, where x_min is the minimal mature state. The factor 2 reflects the bi-lobed lemniscate.

Book V Part 2 Ch. 16

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.GravitationalConstantVd02