Registry · Definition IV.D182 tau-effective formalized

IV.D182 — The τ-strong coupling constant

The tau-strong coupling constant alpha_s^* := NF(Lift_pi^omega) in Fix(s) is the normal-form selector applied to the pi-lift omega-limit, yielding a unique element of the boundary algebra determined entirely by the strong vacuum and pi-support constraint.

Book IV Part 5 Ch. 42

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.TheStrongCouplingConstant