Registry · Definition IV.D104 tau-effective formalized

IV.D104 — tau-Native Fine-Structure Constant

The tau-native fine-structure constant alpha_tau is the ratio of the minimal AB holonomy on T_gamma to the photon phase quantum from tau^1, involving only tau^3-intrinsic objects.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.TaunativeFinestructureConstant