Registry · Theorem IV.T61 tau-effective formalized

IV.T61 — Weinberg Angle Prediction

Tree-level τ-prediction: sin²θ_W = κ(A,D) = ι_τ(1−ι_τ) ≈ 0.2249, identified with the temporal-sector cross-coupling between Weak and Gravity sectors.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (3)

IV.D130 IV.D07 IV.T02

Depended on by (4)

IV.P63 IV.P69 IV.R31 IV.T66

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.WeinbergAnglePrediction