Restriction_Spaces-Ultrametric.Ultrametric_Restriction_Spaces_Locale