Registry · Definition IV.D320 tau-effective formalized

IV.D320 — Electroweak scale in Category~tau

The electroweak scale v_omega is the coherence-fixing amplitude at the crossing point: v_omega = ||chi_{Omega*[omega]}||, the norm of the character field at the vacuum Omega*[omega]; under SI readout this yields v ~ 246 GeV, derived as a structural readout rather than the Standard Model's free parameter.

Book IV Part 4 Ch. 34

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.ElectroweakScaleInCategorytau