Registry · Definition V.D45 tau-effective formalized

V.D45 — Gravitational constant --- V.D02

The gravitational constant G_tau = (c^3/hbar) iota_tau^2 is the coherence conversion invariant translating between the tau-native D-sector coupling kappa(D;1) = 1 - iota_tau and the experimentally measured G. In Planck units, G_tau = iota_tau^2.

Book V Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.GravitationalConstantVd02