Abstract We discuss folklore statements about distance functions in manifolds with two-sided bounded curvature. The topics include regularity, subsets of positive reach and the cut locus.
On the structure of sets with positive reach
