Registry · Proposition IV.P164 tau-effective formalized

IV.P164 — Numerical value

Direct evaluation: iota_tau^3 approx 0.039818 divided by (1 + iota_tau) approx 1.341304 gives kappa(omega) approx 0.029641. The omega sector is the weakest coupling, located at the lemniscate crossing point.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Symbol: Tau.BookIV.Calibration.NumericalValue