fact: Definition continuity_along_axis_pt f v x := forall eps:R, eps > 0 -> exists delta:posreal, forall h:R, Rabs h < delta -> dist C_met (f (x + h * v)) (f x) < eps.
imports: Cbase Cprop_base Cfunctions Cmet Cderiv