Registry · Definition IV.D195 tau-effective formalized

IV.D195 — tau-Yukawa coupling

The tau-Yukawa coupling of a fermion mode chi_{m,n} in sector X to the Higgs sector omega is y_f = kappa(omega) / sqrt(m^2 + n^2 iota_tau^2) times a generation factor Gamma_gen(f), determined by winding-mode overlap with the omega-sector crossing character.

Book IV Part 6 Ch. 45

Lean Formalization

Module: TauLib.BookIV.Particles.SectorAtlas

Symbol: Tau.BookIV.Particles.TauyukawaCoupling