170 sin2ThetaW_GUT * (1 - logEnergy / (16 * Real.pi^2)) 171 172/-! ## The Deep Connection -/ 173 174/-- The Weinberg angle encodes fundamental information: 175 176 1. **Charge quantization**: Q = I₃ + Y/2, where I₃ and Y mix by θ_W 177 2. **Mass relations**: m_W = m_Z × cos(θ_W) 178 3. **Coupling unification**: At high energy, couplings merge 179 180 In RS, all three emerge from the 8-tick structure with φ-optimization. -/
depends on (16)
Lean names referenced from this declaration's body.