Registry · Definition IV.D142 tau-effective formalized

IV.D142 — τ-Yukawa Coupling (Ch34)

τ-Yukawa coupling y_τ(f) = ∂m_breathing(f)/∂v_ω: defect-sensitivity of breathing mass to coherence-fixing amplitude. Derived quantity, not a free parameter.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

IV.D123 IV.D136

Depended on by (1)

IV.D143

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.YukawaCouplingCh34