Registry · Definition IV.D44 tau-effective formalized

IV.D44 — Triple Holonomy

Three independent U(1) circles in τ³ = τ¹ ×_f T²: base circle, fiber circle 1, fiber circle 2. Each contributes factor π through holonomy. Product: π³.

Book IV Part 3 Ch. 24

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Physics.HolonomyCorrection

Symbol: Tau.BookIV.Physics.TripleHolonomy