Registry · Definition IV.D45 tau-effective formalized

IV.D45 — Holonomy Correction

π³α² holonomy correction. π³ ≈ 31006277/1000000 from three circles. α² from spectral formula squared. Combined: ~0.00165 (three orders below √3).

Book IV Part 3 Ch. 24

Dependency Graph

Depends on (2)

IV.D44 IV.D08

Depended on by (2)

IV.D48 IV.T12

Lean Formalization

Module: TauLib.BookIV.Physics.HolonomyCorrection

Symbol: Tau.BookIV.Physics.HolonomyCorrectionData