def definition def or abbrev

`experimentalStatus`

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

formal statement (Lean)

 240def experimentalStatus : List ConfinementFalsifier := [

proof body

Definition body.

 241  ⟨"Free quark search", "No free quarks ever observed"⟩,
 242  ⟨"String tension", "Matches lattice QCD: σ ≈ 0.18 GeV²"⟩,
 243  ⟨"Regge trajectories", "Observed in hadron spectroscopy"⟩,
 244  ⟨"Quark-gluon plasma", "Observed at RHIC and LHC"⟩
 245]
 246
 247end Confinement
 248end QFT
 249end IndisputableMonolith

depends on (4)

Lean names referenced from this declaration's body.

Quark in IndisputableMonolith.CrossDomain.CubeFaceUniversality decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use
ConfinementFalsifier in IndisputableMonolith.QFT.Confinement decl_use
Matches in IndisputableMonolith.RecogSpec.Core decl_use