theorem proved term proof

`w_mass_sm_prediction`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 134theorem w_mass_sm_prediction :
 135    ∃ (m_W_SM : ℝ), m_W_SM = 80357 :=

Term-mode proof.

 136  ⟨(80357 : ℝ), rfl⟩
 137
 138/-- **T-005 CDF Measurement**: The CDF II measurement (2022).
 139    
 140    m_W^CDF = 80,433.5 ± 9.4 MeV -/

Lean names referenced from this declaration's body.