Theorem uniformity_dist_of_mem_uniformity

Modification history