theorem proved term proof

`w_mass_cdf_measurement`

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

formal statement (Lean)

 141theorem w_mass_cdf_measurement :
 142    ∃ (m_W_CDF : ℝ), m_W_CDF = 80433.5 :=

Term-mode proof.

 143  ⟨(80433.5 : ℝ), rfl⟩
 144
 145/-- **T-005 ATLAS Measurement**: The ATLAS measurement (2024).
 146    
 147    m_W^ATLAS = 80,367 ± 16 MeV -/

Lean names referenced from this declaration's body.