Statement file: chiMK (Section3).
This file contains exactly one declaration of the formalization's public statement surface.
noncomputable def
AVenhance.Ingredients.chiMK
{β : ℝ}
(I : Ingredients β)
(κ : ℝ)
(m : ℕ)
(k : ℤ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
Χ^κ_{m,k}(t, x) = (χ_{m,k,e₁}, χ_{m,k,e₂}), the explicit formula e.Chimk.formula
(label 2831), WITH THE SIGN FORCED BY e.parabcorr.k (label 2791); a correction to the source:
the printed formula lacks the minus sign.