def
definition
def or abbrev
summary
show as:
view Lean formalization →
formal statement (Lean)
188def summary : List String := [
proof body
Definition body.
189 "Scales are φ-ladder rungs - PROVEN",
190 "QCD asymptotic freedom (β₀ = 7) - PROVEN",
191 "GUT at α = 1/24 = 1/(8×3) - PROVEN",
192 "Λ_QCD ~ 200 MeV - PROVEN",
193 "m_p / Λ_QCD ~ 5 - PROVEN"
194]
195
196/-! ## Proof Summary -/
197
198/-- All key running coupling claims are proven. -/