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

noncomputable def AVenhance.scaledCutoff (f : ℝ → ℝ) (τ : ℝ) (k : ℤ) : ℝ → ℝ

e.zeta.mk.def (1246), e.xi.mk.def (1283): f_{m,k}(t) = f((t - kτ)/τ).

Equations

• AVenhance.scaledCutoff f τ k t = f ((t - ↑k * τ) / τ)