structure
definition
WZFalsifier
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.StandardModel.WZMassRatio on GitHub at line 215.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
212 1. No φ-connection to sin²(θ_W)
213 2. Mass ratio not following cos(θ_W)
214 3. Running not following φ-scaling -/
215structure WZFalsifier where
216 falsifier : String
217 status : String
218
219def experimentalStatus : List WZFalsifier := [
220 ⟨"m_W / m_Z measurement", "0.8815 ± 0.0002, precisely known"⟩,
221 ⟨"sin²(θ_W) measurement", "0.2229 ± 0.0003"⟩,
222 ⟨"φ-connection", "In progress - promising"⟩
223]
224
225end WZMassRatio
226end StandardModel
227end IndisputableMonolith