def definition def or abbrev

`deltaAxisAdditive`

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

formal statement (Lean)

 125noncomputable def deltaAxisAdditive (D : ℕ) : ℝ := (D : ℝ) / 2

Definition body.

 126
 127/-! ## Key Theorem: The Two Formulas Agree at D = 3 -/
 128
 129/-- The structural formula equals 3/2 at D = 3. -/

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

deltaAxisAdditive_D3 in IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation decl_use
delta_D3_derived in IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation decl_use
delta_derived_not_calibrated in IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation decl_use