fact: Definition Vcontinuity_pt (f : R -> V) (I : R -> Prop) (x : R) := I x -> forall eps : R, eps > 0 -> {alp : R | alp > 0 /\ (forall y, I y -> (Rabs (x - y) <= alp -> N (vsub (f y) (f x)) <= eps))}.
imports: Reals integrales