Registry · Remark V.R344 tau-effective not_applicable

V.R344 — What Dirac got right and wrong

Dirac observed alpha/alpha_G is not accidental (confirmed); his time-varying G explanation refuted; ratio is power law from holonomy.

Book V Part 8 Ch. 70

Lean Formalization

Module: