Registry · Definition IV.D281 tau-effective formalized

IV.D281 — Electroweak cross-coupling

The electroweak cross-coupling is kappa(A,B) = iota_tau^3 approx 0.039818. It connects the weak sector (depth 1, base) to the EM sector (depth 2, fiber); the unification is an algebraic identity visible at every scale, not a high-energy accident.

Book IV Part 2 Ch. 10

Dependency Graph

Depended on by (24)

IV.T106 IV.P172 IV.T247 IV.T260 IV.T261 IV.T262 IV.T263 IV.T264 IV.T299 IV.T305 IV.T306 IV.T309 IV.T321 IV.T322 IV.T329 IV.T379 IV.P279 IV.P284 IV.P289 IV.P351 IV.P364 IV.P374 IV.P382 IV.C4

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings2

Symbol: Tau.BookIV.Calibration.ElectroweakCrosscoupling