Registry · Remark IV.R258 tau-effective formalized

IV.R258 — The three holonomy circles

The factor pi^3 in the holonomy formula is resolved as the product of three independent U(1) holonomy integrations: T_pi (angular circle on base tau^1), T_gamma (first fiber circle on T^2), and T_eta (second fiber circle on T^2), one for each circle in tau^3.

Book IV Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.TheThreeHolonomyCircles