Registry · Theorem IV.T56 tau-effective formalized

IV.T56 — Tree-Level Rho = 1

At tree level rho = 1 exactly. In Category tau this is structural (sigma-equivariance at the lemniscate crossing forces custodial SU(2)), not accidental as in SM Higgs doublet theory.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.TreelevelRho1