Spatially constant stream functions induce zero velocity.

theorem AVenhance.streamVel_spatialConstant (c : ℝ → ℝ) : (streamVel fun (t : ℝ) (x : Homogenization.Vec 2) => c t) = 0

Spatial constancy makes the perpendicular gradient vanish, even when the stream function varies in time.