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

def AVenhance.shiftCutoff (f : ℝ → ℝ) (c : ℝ) : ℝ → ℝ

Translation f_{m,l} = f_{m,0}(· - l τ''_m) (1319-1322).

Equations

• AVenhance.shiftCutoff f c t = f (t - c)