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

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

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

Equations

• I.hatZetaML m l = AVenhance.shiftCutoff (I.hatZeta m) (↑l * AVenhance.tauPP β I.Λ m)