Public statement.

theorem AVenhance.IsAdmissibleStream.vel_continuous {φ : ℝ → Homogenization.Vec 2 → ℝ} (h : IsAdmissibleStream φ) : Continuous fun (p : ℝ × Homogenization.Vec 2) => streamVel φ p.1 p.2

Joint continuity hypothesis of the flow, for the velocity of an admissible stream.