Statement file: hatXiML (Ingredients). This file contains exactly one declaration of the formalization's public statement surface.

noncomputable def AVenhance.Ingredients.hatXiML {β : ℝ} (I : Ingredients β) (m : ℕ) (l : ℤ) : ℝ → ℝ

ξ̂_{m,l} = ξ̂_{m,0}(· - l τ''_m) (1321).

Equations

• I.hatXiML m l = AVenhance.shiftCutoff (I.hatXi m) (↑l * AVenhance.tauPP β I.Λ m)