Registry · Definition IV.D141 tau-effective formalized

IV.D141 — τ-Higgs Mass

τ-Higgs mass defined as M_H² = λ_1 · ℏ_τ², where λ_1 is the limiting Hessian eigenvalue and ℏ_τ is the Planck character.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (1)

IV.L07

Depended on by (3)

IV.P75 IV.P77 IV.T66

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.HiggsMass