Public statement.

noncomputable def AVenhance.Ingredients.Kmat {β : ℝ} (I : Ingredients β) (κ : ℝ) (m : ℕ) (t : ℝ) : Matrix (Fin 2) (Fin 2) ℝ

𝐊^κ_m(t) := κ I + ∑_{n=0}^{N_*-1} ⟨⟨𝐣^κ_{m,n}⟩⟩ L^κ_{m,n}(t), e.K (3180-3184).

Equations

• I.Kmat κ m t = κ • 1 + ∑ n ∈ Finset.range (AVenhance.Nstar β), I.LMN κ m n t • AVenhance.timeAvgMat (I.jMN κ m n)