Description: The uniformity of an extension of RR is the uniformity generated by its distance. (Contributed by Thierry Arnoux, 2-May-2018)