pith. machine review for the scientific record. sign in
def definition def or abbrev

binding_per_nucleon

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

 103noncomputable def binding_per_nucleon (coeff : BindingCoefficients) (A Z : ℕ) : ℝ :=

proof body

Definition body.

 104  binding_energy coeff A Z / A
 105
 106/-! ## Structural Results
 107
 108The key structural prediction: binding energy per nucleon peaks near
 109A ≈ 56 (iron-56), and magic-number nuclei have enhanced stability
 110(extra binding). -/
 111

depends on (9)

Lean names referenced from this declaration's body.