Section UnifCont.
Context {V : UniformSpace}.

(* Specifications: *)
Lemma unifcont_1d (f : R -> V) a b :
(forall x, a <= x <= b -> continuous f x) ->
forall eps : posreal, {delta : posreal | forall x y,
a <= x <= b -> a <= y <= b -> ball x delta y -> ~~ ball (f x) eps (f y)}.