Registry · Definition IV.D28 established formalized

IV.D28 — Weinberg Near-Match

Weinberg angle near-match: κ(A,D) = ι_τ(1−ι_τ) ≈ 0.2249 vs sin²θ_W = 0.23121 (CODATA 2022). Deviation ~2.7%. τ-approximation undershoots. Range proof: κ(A,D) ∈ (0.224, 0.226).

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessNearMatch

Symbol: Tau.BookIV.Calibration.WeinbergNearMatch