Smooth localization on the actual positive-time domain.

theorem AVenhance.Infra.Section4.amnrWord_eventuallyEq {f g : AmnrSpace → ℝ} {z : AmnrSpace} (hfg : f =ᶠ[nhds z] g) (b : AmnrSpace → Homogenization.Vec 2) (w : List (Option (Fin 2))) : amnrWord b w f =ᶠ[nhds z] amnrWord b w g

Ordered derivatives depend only on the local germ of their scalar field.