structure definition def or abbrev

`ReggeSlopeCertificate`

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

formal statement (Lean)

  40structure ReggeSlopeCertificate where
  41  source : String
  42  alphaPrime_GeV_inv2 : ℝ
  43  uncertainty_GeV_inv2 : ℝ
  44  uncertainty_nonneg : 0 ≤ uncertainty_GeV_inv2
  45
  46/-- Current external Regge slope placeholder (PDG-facing convention). -/

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

pdg_regge_slope_cert in IndisputableMonolith.Physics.Hadrons decl_use