def definition def or abbrev

`cornellPotential`

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

formal statement (Lean)

  81def cornellPotential (r : ℝ) (_hr : r > 0) : ℝ :=

Definition body.

  82  -(alpha_strong / r) + stringTension * r
  83
  84/-- The Cornell potential at r₀ = 1.2 has the correct sign structure. -/

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

cornell_at_r0_formula in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
cornellPotential in IndisputableMonolith.QFT.Confinement decl_use
jcostColorPotential in IndisputableMonolith.QFT.Confinement decl_use
potential_confining in IndisputableMonolith.QFT.Confinement decl_use

Lean names referenced from this declaration's body.