Spatial words of the actual temperature: diffusion and periodicity.

theorem AVenhance.Infra.Section4.amnrSpaceWord_smooth {f : Homogenization.Vec 2 → ℝ} (hf : ContDiff ℝ (↑⊤) f) (w : List (Fin 2)) : ContDiff ℝ (↑⊤) (amnrSpaceWord w f)

theorem AVenhance.Infra.Section4.amnrSpaceWord_periodic {f : Homogenization.Vec 2 → ℝ} (hf : ContDiff ℝ (↑⊤) f) (hp : IsZ2Periodic f) (w : List (Fin 2)) : IsZ2Periodic (amnrSpaceWord w f)