Public statement.

noncomputable def AVenhance.Ingredients.kappaSeq {β : ℝ} (I : Ingredients β) (κ : ℝ) (M m : ℕ) : ℝ

κ_m of e.kappa.sequence for the chain topped at M (convention of the kappaAt): κ_m = kappaAt I κ m (M - m), 0 ≤ m ≤ M; κ_M = κ.

Equations

• I.kappaSeq κ M m = I.kappaAt κ m (M - m)