Infrastructure for the §2 construction.

theorem AVenhance.Infra.Construction.nextStreamTerm_support_finite {β : ℝ} (I : Ingredients β) (m : ℕ) (φ : ℝ → Homogenization.Vec 2 → ℝ) (hφ : IsAdmissibleStream φ) (t : ℝ) (x : Homogenization.Vec 2) : (Function.support fun (k : ℤ) => I.nextStreamTerm m φ hφ t x k).Finite