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)

  52noncomputable def cornellPotential (alpha sigma r : ℝ) (hr : r > 0) : ℝ :=

Definition body.

  53  -alpha / r + sigma * r
  54
  55/-- QCD coupling at short distances. -/

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.Nuclear.QCDToNuclearBridge 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.

alpha in IndisputableMonolith.Constants.Alpha decl_use
sigma in IndisputableMonolith.Decision.AbileneParadox decl_use
cornellPotential in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
sigma in IndisputableMonolith.NumberTheory.Primes.ArithmeticFunctions decl_use