def definition def or abbrev

`alpha_strong`

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

formal statement (Lean)

  29def alpha_strong : ℝ := (alpha_s_geom : ℝ)

Definition body.

  30
  31/-- String tension in RS units: σ = φ^(-5). -/

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

alpha_over_sigma_gt_one in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
alpha_over_sigma_pos in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
alpha_strong_pos in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
cornell_at_r0_formula in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
cornellPotential in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
r0_fm in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
r_min in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
strong_vs_em in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use

Lean names referenced from this declaration's body.