def definition def or abbrev

`stringTension`

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

formal statement (Lean)

  32def stringTension : ℝ := Constants.phi ^ (-(5 : ℤ))

Definition body.

  33
  34/-- nuclear radius parameter: r₀ ≈ 1.2 fm. -/

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
cornell_at_r0_formula in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
cornellPotential in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
r_min in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
stringTension_bounds in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
stringTension_pos in IndisputableMonolith.Nuclear.QCDToNuclearBridge decl_use
breakingLength in IndisputableMonolith.QFT.Confinement decl_use
jcostColorPotential in IndisputableMonolith.QFT.Confinement decl_use
QCDString in IndisputableMonolith.QFT.Confinement decl_use
stringTension in IndisputableMonolith.QFT.Confinement decl_use

Lean names referenced from this declaration's body.