Public statement.
noncomputable def
AVenhance.Ingredients.chiTilde
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(κm : ℝ)
(k : ℤ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
The twisted corrector ΧTilde_{m,k} := Χ_{m,k} ∘ X⁻¹_{m-1,l_k}, e.Chim.def (4386). The
source
writes X⁻¹_{m-1,k}; this is a slip in the source (l_k is meant: e.tbm1.one 6373 and the
proof of p.indystepdown use l_k; same slip in ψTilde_{m,k}, 6327).